fragment type String; size String 8; atom suffix String _s;
fragment html := λ. (: (
(.program(
'\n
'\n
'\n
))
) HTML);
fragment html := λ(: f1 HTML). (: (
(.program(
'\n
'\n
(.program f1)
'\n
))
) HTML);
fragment html := λ(: f1 HTML)(: f2 HTML). (: (
(.program(
'\n
'\n
(.program f1)
(.program f2)
'\n
))
) HTML);
fragment head := λ(: f1 HTML). (: (
(.program(
'\n
(.program f1)
'\n
))
) HTML);
fragment title := λ(: f1 String). (: (
(.program(
'
(.program f1)
'\n
))
) HTML);
fragment body := λ(: f1 HTML). (: (
(.program(
'\n
(.program f1)
'\n
))
) HTML);
fragment body := λ(: f1 HTML)(: f2 HTML). (: (
(.program(
'\n
(.program f1)
(.program f2)
'\n
))
) HTML);
fragment h1 := λ(: f1 String). (: (
(.program(
'
(.program f1)
'
\n
))
) HTML);
fragment h2 := λ(: f1 String). (: (
(.program(
'
(.program f1)
'
\n
))
) HTML);
fragment h3 := λ(: f1 String). (: (
(.program(
'
(.program f1)
'
\n
))
) HTML);
fragment h4 := λ(: f1 String). (: (
(.program(
'
(.program f1)
'
\n
))
) HTML);
fragment h5 := λ(: f1 String). (: (
(.program(
'
(.program f1)
'
\n
))
) HTML);
fragment h6 := λ(: f1 String). (: (
(.program(
'
(.program f1)
'
\n
))
) HTML);
fragment ul := λ(: f1 HTML). (: (
(.program(
'\n
))
) HTML);
fragment ul := λ(: f1 HTML)(: f2 HTML). (: (
(.program(
'\n
(.program f1)
(.program f2)
'
\n
))
) HTML);
fragment li := λ(: f1 HTML). (: (
(.program(
'
(.program f1)
'\n
))
) HTML);
fragment a := λ(: txt String)(: href String). (: (
(.program(
'
(.program txt)
'
))
) HTML);