fragment type String; size String 8; atom suffix String _s;

meta 
   (description (
      'A\sclass\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (div( (class 'p-data_s)
         (h2( 'Hello_s ))
      ))
   ))
;
fragment class := λ: DontChain(: cls String). (: (
   (.program(
      '\sclass=" (.program cls) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'An\saction\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (form( (action 'http://site_s) ))
   ))
;
fragment action := λ: DontChain(: cls String). (: (
   (.program(
      '\saction=" (.program cls) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'A\svalue\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (input( (value 'http://site_s) ))
   ))
;
fragment value := λ: DontChain(: cls String). (: (
   (.program(
      '\svalue=" (.program cls) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'A\schecked\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (form( (checked()) ))
   ))
;
fragment checked := λ: DontChain . (: (
   (.program(
      '\schecked\s
   ))
) HTMLAttribute);

meta 
   (description (
      'A\shidden\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (form( (hidden()) ))
   ))
;
fragment hidden := λ: DontChain . (: (
   (.program(
      '\shidden\s
   ))
) HTMLAttribute);

meta
   (description (
      'A\smethod\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (form( (method 'get_s) ))
   ))
;
fragment method := λ: DontChain(: cls String). (: (
   (.program(
      '\smethod=" (.program cls) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'A\sname\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (div( (name 'data_s)
         (h2( 'Hello_s ))
      ))
   ))
;
fragment name := λ: DontChain(: cls String). (: (
   (.program(
      '\sname=" (.program cls) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'An\sautocomplete\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (input( (type_ 'text_s) (autocomplete 'default\svalue_s)
      ))
   ))
;
fragment autocomplete := λ: DontChain(: cls String). (: (
   (.program(
      '\sautocomplete=" (.program cls) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'A\srequired\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (input( (type_ 'text_s) (required 'yes_s)
      ))
   ))
;
fragment required := λ: DontChain(: cls String). (: (
   (.program(
      '\srequired=" (.program cls) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'A\splaceholder\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (input( (type_ 'text_s) (placeholder 'temporary\svalue_s)
      ))
   ))
;
fragment placeholder := λ: DontChain(: cls String). (: (
   (.program(
      '\splaceholder=" (.program cls) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'A\stype\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (input( (type_ 'text_s)
      ))
   ))
;
fragment type_ := λ: DontChain(: cls String). (: (
   (.program(
      '\stype=" (.program cls) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'A\ssrc\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (input( (src 'http://site_s)
      ))
   ))
;
fragment src := λ: DontChain(: s String). (: (
   (.program(
      '\ssrc=" (.program s) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'An\sid\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (input( (id 'ident_s)
      ))
   ))
;
fragment id := λ: DontChain(: i String). (: (
   (.program(
      '\sid=" (.program i) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'A\srel\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (input( (rel 'ident_s)
      ))
   ))
;
fragment rel := λ: DontChain(: i String). (: (
   (.program(
      '\srel=" (.program i) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'An\shref\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
   ))
   (example (
      (input( (rel 'http://site_s)
      ))
   ))
;
fragment href := λ: DontChain(: a String). (: (
   (.program(
      '\shref=" (.program a) '"\s
   ))
) HTMLAttribute);

meta 
   (description (
      'text\sis\sa\stypesafe\splaintext\selement.
   ))
   (example (
      (text 'hello_s)
   ))
;
fragment text := λ: DontChain(: t String). (: (
   (.program(
      (.program t)
   ))
) HTMLElement);

meta 
   (description (
      'html\sis\sthe\sdocument\sroot\s.
   ))
   (example (
      (html( (text( 'hello_s )) ))
   ))
;
fragment html := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<!DOCTYPE\shtml>\n
      '<html (for-arg a in attrs (.program a)) '>\n
      (for-arg e in es (.program e))
      '</html>\n
   ))
) HTMLElement);

meta 
   (description (
      'main\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (main( (text( 'hello_s )) ))
   ))
;
fragment main := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<main (for-arg a in attrs (.program a)) '>\n
      (for-arg e in es (.program e))
      '</main>\n
   ))
) HTMLElement);

meta 
   (description (
      'head\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (head( (title( 'The\spage\stitle_s )) ))
   ))
;
fragment head := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<head\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</head>\n
   ))
) HTMLElement);

meta 
   (description (
      'title\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (title( (text( 'hello_s )) ))
   ))
;
fragment title := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<title\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</title>\n
   ))
) HTMLElement);

meta 
   (description (
      'body\sis\swhere\svisual\shtml\selements\sgo.
   ))
   (example (
      (body( (text( 'hello_s )) ))
   ))
;
fragment body := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<body\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</body>\n
   ))
) HTMLElement);

meta 
   (description (
      'h1\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (h1( (text( 'hello_s )) ))
   ))
;
fragment h1 := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<h1\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</h1>\n
   ))
) HTMLElement);

meta 
   (description (
      'h2\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (h2( (text( 'hello_s )) ))
   ))
;
fragment h2 := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<h2\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</h2>\n
   ))
) HTMLElement);

meta 
   (description (
      'h3\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (h3( (text( 'hello_s )) ))
   ))
;
fragment h3 := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<h3\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</h3>\n
   ))
) HTMLElement);

meta 
   (description (
      'h4\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (h4( (text( 'hello_s )) ))
   ))
;
fragment h4 := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<h4\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</h4>\n
   ))
) HTMLElement);

meta 
   (description (
      'h5\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (h5( (text( 'hello_s )) ))
   ))
;
fragment h5 := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<h5\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</h5>\n
   ))
) HTMLElement);

meta 
   (description (
      'h6\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (h6( (text( 'hello_s )) ))
   ))
;
fragment h6 := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<h6\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</h6>\n
   ))
) HTMLElement);

meta 
   (description (
      'div\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (div( (text( 'hello_s )) ))
   ))
;
fragment div := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<div\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</div>\n
   ))
) HTMLElement);

meta 
   (description (
      'header\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (header( (text( 'hello_s )) ))
   ))
;
fragment header := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<header\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</header>\n
   ))
) HTMLElement);

meta 
   (description (
      'nav\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (nav( (text( 'hello_s )) ))
   ))
;
fragment nav := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<nav\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</nav>\n
   ))
) HTMLElement);

meta 
   (description (
      'ul\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (ul( (text( 'hello_s )) ))
   ))
;
fragment ul := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<ul\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</ul>\n
   ))
) HTMLElement);

meta 
   (description (
      'ol\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (ol( (text( 'hello_s )) ))
   ))
;
fragment ol := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<ol\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</ol>\n
   ))
) HTMLElement);

meta 
   (description (
      'li\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (li( (text( 'hello_s )) ))
   ))
;
fragment li := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<li\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</li>\n
   ))
) HTMLElement);

meta 
   (description (
      'a\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (a( (text( 'hello_s )) ))
   ))
;
fragment a := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<a\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</a>\n
   ))
) HTMLElement);

meta 
   (description (
      'span\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (span( (text( 'hello_s )) ))
   ))
;
fragment span := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<span\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</span>
   ))
) HTMLElement);

meta 
   (description (
      'i\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (i( (text( 'hello_s )) ))
   ))
;
fragment i := λ: DontChain(: attrs HTMLAttribute...)(: f1 HTMLElement). (: (
   (.program(
      '<i\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</i>
   ))
) HTMLElement);

meta 
   (description (
      'p\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (p( (text( 'hello_s )) ))
   ))
;
fragment p := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<p\s (for-arg a in attrs (.program a)) '>
      (for-arg e in es (.program e))
      '</p>
   ))
) HTMLElement);

meta 
   (description (
      'img\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (img( (text( 'hello_s )) ))
   ))
;
fragment img := λ: DontChain(: attrs HTMLAttribute...). (: (
   (.program(
      '<img\s (for-arg a in attrs (.program a)) '\\>\n
   ))
) HTMLElement);

meta 
   (description (
      'link\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (link( (text( 'hello_s )) ))
   ))
;
fragment link := λ: DontChain(: attrs HTMLAttribute...). (: (
   (.program(
      '<link\s (for-arg a in attrs (.program a)) '\\>\n
   ))
) HTMLElement);

meta 
   (description (
      'section\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (section( (text( 'hello_s )) ))
   ))
;
fragment section := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<section\s (for-arg a in attrs (.program a)) '>\n
      (for-arg e in es (.program e))
      '</section>\n
   ))
) HTMLElement);

meta 
   (description (
      'form\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (form( (text( 'hello_s )) ))
   ))
;
fragment form := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<form\s (for-arg a in attrs (.program a)) '>\n
      (for-arg e in es (.program e))
      '</form>\n
   ))
) HTMLElement);

meta 
   (description (
      'input\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (input( (text( 'hello_s )) ))
   ))
;
fragment input := λ: DontChain(: attrs HTMLAttribute...). (: (
   (.program(
      '<input\s (for-arg a in attrs (.program a)) '>\n
   ))
) HTMLElement);

meta 
   (description (
      'button\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (button( (text( 'hello_s )) ))
   ))
;
fragment button := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<button\s (for-arg a in attrs (.program a)) '>\n
      (for-arg e in es (.program e))
      '</button>\n
   ))
) HTMLElement);

meta 
   (description (
      'pre\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (pre( (text( 'hello_s )) ))
   ))
;
fragment pre := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<pre\s (for-arg a in attrs (.program a)) '>\n
      (for-arg e in es (.program e))
      '</pre>\n
   ))
) HTMLElement);

meta 
   (description (
      'code\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (code( (text( 'hello_s )) ))
   ))
;
fragment code := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<code\s (for-arg a in attrs (.program a)) '>\n
      (for-arg e in es (.program e))
      '</code>\n
   ))
) HTMLElement);

meta 
   (description (
      'hr\sis\sa\ssemantic\shtml\selement.
   ))
   (example (
      (hr( (class 't_s) ))
   ))
;
fragment hr := λ: DontChain(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
   (.program(
      '<hr\s (for-arg a in attrs (.program a)) '>\n
   ))
) HTMLElement);