fragment type String; size String 8; atom suffix String _s; fragment class := λ(: cls String). (: ( (.program( '\sclass=" (.program cls) '"\s )) ) HTMLAttribute); fragment name := λ(: cls String). (: ( (.program( '\sname=" (.program cls) '"\s )) ) HTMLAttribute); fragment autocomplete := λ(: cls String). (: ( (.program( '\sautocomplete=" (.program cls) '"\s )) ) HTMLAttribute); fragment required := λ(: cls String). (: ( (.program( '\srequired=" (.program cls) '"\s )) ) HTMLAttribute); fragment placeholder := λ(: cls String). (: ( (.program( '\splaceholder=" (.program cls) '"\s )) ) HTMLAttribute); fragment type_ := λ(: cls String). (: ( (.program( '\stype=" (.program cls) '"\s )) ) HTMLAttribute); fragment src := λ(: s String). (: ( (.program( '\ssrc=" (.program s) '"\s )) ) HTMLAttribute); fragment id := λ(: i String). (: ( (.program( '\sid=" (.program i) '"\s )) ) HTMLAttribute); fragment rel := λ(: i String). (: ( (.program( '\srel=" (.program i) '"\s )) ) HTMLAttribute); fragment href := λ(: a String). (: ( (.program( '\shref=" (.program a) '"\s )) ) HTMLAttribute); fragment text := λ(: t String). (: ( (.program( (.program t) )) ) HTMLElement); fragment html := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( '\n '\n (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment main := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( '

\n (for-arg e in es (.program e)) '

\n )) ) HTMLElement); fragment head := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment title := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment body := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment h1 := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment h2 := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment h3 := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment h4 := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment h5 := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment h6 := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment div := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment header := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment nav := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment ul := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment ol := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment li := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment a := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment span := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) ' )) ) HTMLElement); fragment i := λ(: attrs HTMLAttribute...)(: f1 HTMLElement). (: ( (.program( ' (for-arg e in es (.program e)) ' )) ) HTMLElement); fragment p := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( ' (for-arg e in es (.program e)) '

)) ) HTMLElement); fragment img := λ(: attrs HTMLAttribute...). (: ( (.program( '\n )) ) HTMLElement); fragment link := λ(: attrs HTMLAttribute...). (: ( (.program( '\n )) ) HTMLElement); fragment section := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( '\n (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment form := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( '\n (for-arg e in es (.program e)) '\n )) ) HTMLElement); fragment input := λ(: attrs HTMLAttribute...). (: ( (.program( '\n )) ) HTMLElement); fragment button := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: ( (.program( '\n (for-arg e in es (.program e)) '\n )) ) HTMLElement);