(* This file has been automatically generated by dtd2cduce *)
namespace xhtml = "http://www.w3.org/1999/xhtml"
;;

type xhtml:td =
       <td valign=?("top" | "middle" | "bottom" | "baseline") charoff=?String char=?String align=?("left" | "center" | "right" | "justify" | "char") colspan=?String rowspan=?String scope=?("row" | "col" | "rowgroup" | "colgroup") headers=?String axis=?String abbr=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:mixed_content*
          ];;
type xhtml:th =
       <th valign=?("top" | "middle" | "bottom" | "baseline") charoff=?String char=?String align=?("left" | "center" | "right" | "justify" | "char") colspan=?String rowspan=?String scope=?("row" | "col" | "rowgroup" | "colgroup") headers=?String axis=?String abbr=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:mixed_content*
          ];;
type xhtml:tr =
       <tr valign=?("top" | "middle" | "bottom" | "baseline") charoff=?String char=?String align=?("left" | "center" | "right" | "justify" | "char") onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          (xhtml:th | xhtml:td)+ ];;
type xhtml:col =
       <col valign=?("top" | "middle" | "bottom" | "baseline") charoff=?String char=?String align=?("left" | "center" | "right" | "justify" | "char") width=?String span=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
           ];;
type xhtml:colgroup =
       <colgroup valign=?("top" | "middle" | "bottom" | "baseline") charoff=?String char=?String align=?("left" | "center" | "right" | "justify" | "char") width=?String span=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:col* ];;
type xhtml:tbody =
       <tbody valign=?("top" | "middle" | "bottom" | "baseline") charoff=?String char=?String align=?("left" | "center" | "right" | "justify" | "char") onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:tr+ ];;
type xhtml:tfoot =
       <tfoot valign=?("top" | "middle" | "bottom" | "baseline") charoff=?String char=?String align=?("left" | "center" | "right" | "justify" | "char") onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:tr+ ];;
type xhtml:thead =
       <thead valign=?("top" | "middle" | "bottom" | "baseline") charoff=?String char=?String align=?("left" | "center" | "right" | "justify" | "char") onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:tr+ ];;
type xhtml:caption =
       <caption onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:table =
       <table cellpadding=?String cellspacing=?String rules=?("none" | "groups" | "rows" | "cols" | "all") frame=?("void" | "above" | "below" | "hsides" | "lhs" | "rhs" | "vsides" | "box" | "border") border=?String width=?String summary=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          (xhtml:caption? (xhtml:col* | xhtml:colgroup*) xhtml:thead? xhtml:tfoot?
           (xhtml:tbody+ | xhtml:tr+))
          ];;
type xhtml:button =
       <button disabled=?("disabled") type=?("button" | "submit" | "reset") value=?String name=?String onblur=?String onfocus=?String tabindex=?String accesskey=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:p | xhtml:h1 | xhtml:h2 | xhtml:h3 | xhtml:h4 | xhtml:h5 | xhtml:h6 | xhtml:div | xhtml:ul | xhtml:ol | xhtml:dl | xhtml:pre | xhtml:hr | xhtml:blockquote | xhtml:address | xhtml:table | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:noscript | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:legend =
       <legend accesskey=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:fieldset =
       <fieldset onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:legend | xhtml:p | xhtml:h1 | xhtml:h2 | xhtml:h3 | xhtml:h4 | xhtml:h5 | xhtml:h6 | xhtml:div | xhtml:ul | xhtml:ol | xhtml:dl | xhtml:pre | xhtml:hr | xhtml:blockquote | xhtml:address | xhtml:fieldset | xhtml:table | xhtml:form | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:noscript | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:textarea =
       <textarea onchange=?String onselect=?String readonly=?("readonly") disabled=?("disabled") cols=String rows=String name=?String onblur=?String onfocus=?String tabindex=?String accesskey=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char )* ];;
type xhtml:option =
       <option value=?String label=?String disabled=?("disabled") selected=?("selected") onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char )* ];;
type xhtml:optgroup =
       <optgroup label=String disabled=?("disabled") onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:option+ ];;
type xhtml:select =
       <select onchange=?String onblur=?String onfocus=?String tabindex=?String disabled=?("disabled") multiple=?("multiple") size=?String name=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          (xhtml:optgroup | xhtml:option)+ ];;
type xhtml:input =
       <input accept=?String onchange=?String onselect=?String usemap=?String alt=?String src=?String maxlength=?String size=?String readonly=?("readonly") disabled=?("disabled") checked=?("checked") value=?String name=?String type=?("text" | "password" | "checkbox" | "radio" | "submit" | "reset" | "file" | "hidden" | "image" | "button") onblur=?String onfocus=?String tabindex=?String accesskey=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
           ];;
type xhtml:label =
       <label onblur=?String onfocus=?String accesskey=?String for=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:form =
       <form accept-charset=?String accept=?String onreset=?String onsubmit=?String enctype=?String method=?("get" | "post") action=String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          (xhtml:p | xhtml:h1 | xhtml:h2 | xhtml:h3 | xhtml:h4 | xhtml:h5 | xhtml:h6 | xhtml:div | xhtml:ul
           | xhtml:ol | xhtml:dl | xhtml:pre | xhtml:hr | xhtml:blockquote | xhtml:address
           | xhtml:fieldset | xhtml:table | xhtml:noscript | xhtml:ins | xhtml:del | xhtml:script)*
          ];;
type xhtml:area =
       <area alt=String nohref=?("nohref") href=?String coords=?String shape=?("rect" | "circle" | "poly" | "default") onblur=?String onfocus=?String tabindex=?String accesskey=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
           ];;
type xhtml:map =
       <map name=?String title=?String style=?String class=?String id=String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String>[
          ((xhtml:p | xhtml:h1 | xhtml:h2 | xhtml:h3 | xhtml:h4 | xhtml:h5 | xhtml:h6 | xhtml:div | xhtml:ul
            | xhtml:ol | xhtml:dl | xhtml:pre | xhtml:hr | xhtml:blockquote | xhtml:address
            | xhtml:fieldset | xhtml:table | xhtml:form | xhtml:noscript | xhtml:ins | xhtml:del
            | xhtml:script)+
           | xhtml:area+)
          ];;
type xhtml:img =
       <img ismap=?("ismap") usemap=?String width=?String height=?String longdesc=?String alt=String src=String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
           ];;
type xhtml:param =
       <param type=?String valuetype=?("data" | "ref" | "object") value=?String name=?String id=?String>[
           ];;
type xhtml:object =
       <object tabindex=?String name=?String usemap=?String width=?String height=?String standby=?String archive=?String codetype=?String type=?String data=?String codebase=?String classid=?String declare=?("declare") onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:param | xhtml:p | xhtml:h1 | xhtml:h2 | xhtml:h3 | xhtml:h4 | xhtml:h5 | xhtml:h6 | xhtml:div | xhtml:ul | xhtml:ol | xhtml:dl | xhtml:pre | xhtml:hr | xhtml:blockquote | xhtml:address | xhtml:fieldset | xhtml:table | xhtml:form | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:noscript | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:small =
       <small onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:big =
       <big onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:b =
       <b onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:i =
       <i onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:tt =
       <tt onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:sup =
       <sup onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:sub =
       <sub onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:q =
       <q cite=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:acronym =
       <acronym onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:abbr =
       <abbr onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:cite =
       <cite onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:var =
       <var onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:kbd =
       <kbd onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:samp =
       <samp onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:code =
       <code onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:dfn =
       <dfn onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:strong =
       <strong onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:em =
       <em onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:br = <br title=?String style=?String class=?String id=?String>[  ];;
type xhtml:bdo =
       <bdo dir=("ltr" | "rtl") xml:lang=?String lang=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:span =
       <span onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:a =
       <a coords=?String shape=?("rect" | "circle" | "poly" | "default") rev=?String rel=?String hreflang=?String href=?String name=?String type=?String charset=?String onblur=?String onfocus=?String tabindex=?String accesskey=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:del =
       <del datetime=?String cite=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:mixed_content*
          ];;
type xhtml:ins =
       <ins datetime=?String cite=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:mixed_content*
          ];;
type xhtml:blockquote =
       <blockquote cite=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          (xhtml:p | xhtml:h1 | xhtml:h2 | xhtml:h3 | xhtml:h4 | xhtml:h5 | xhtml:h6 | xhtml:div | xhtml:ul
           | xhtml:ol | xhtml:dl | xhtml:pre | xhtml:hr | xhtml:blockquote | xhtml:address
           | xhtml:fieldset | xhtml:table | xhtml:form | xhtml:noscript | xhtml:ins | xhtml:del
           | xhtml:script)*
          ];;
type xhtml:pre =
       <pre xml:space="preserve" onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:ins | xhtml:del | xhtml:script | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button )*
          ];;
type xhtml:hr =
       <hr onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
           ];;
type xhtml:address =
       <address onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:dd =
       <dd onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:mixed_content*
          ];;
type xhtml:dt =
       <dt onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:dl =
       <dl onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          (xhtml:dt | xhtml:dd)+ ];;
type xhtml:li =
       <li onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:mixed_content*
          ];;
type xhtml:ol =
       <ol onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:li+ ];;
type xhtml:ul =
       <ul onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:li+ ];;
type xhtml:h6 =
       <h6 onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:h5 =
       <h5 onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:h4 =
       <h4 onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:h3 =
       <h3 onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:h2 =
       <h2 onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:h1 =
       <h1 onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;
type xhtml:p =
       <p onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          ( Char | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:ins | xhtml:del | xhtml:script )*
          ];;

type xhtml:mixed_content =
 ( Char | xhtml:p | xhtml:h1 | xhtml:h2 | xhtml:h3 | xhtml:h4 | xhtml:h5 | xhtml:h6 | xhtml:div | xhtml:ul | xhtml:ol | xhtml:dl | xhtml:pre | xhtml:hr | xhtml:blockquote | xhtml:address | xhtml:fieldset | xhtml:table | xhtml:form | xhtml:a | xhtml:br | xhtml:span | xhtml:bdo | xhtml:map | xhtml:object | xhtml:img | xhtml:tt | xhtml:i | xhtml:b | xhtml:big | xhtml:small | xhtml:em | xhtml:strong | xhtml:dfn | xhtml:code | xhtml:q | xhtml:samp | xhtml:kbd | xhtml:var | xhtml:cite | xhtml:abbr | xhtml:acronym | xhtml:sub | xhtml:sup | xhtml:input | xhtml:select | xhtml:textarea | xhtml:label | xhtml:button | xhtml:noscript | xhtml:ins | xhtml:del | xhtml:script )
;;
type xhtml:div =
       <div onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:mixed_content*
          ];;
type xhtml:body_content = (xhtml:p | xhtml:h1 | xhtml:h2 | xhtml:h3 | xhtml:h4 | xhtml:h5 | xhtml:h6 | xhtml:div | xhtml:ul
           | xhtml:ol | xhtml:dl | xhtml:pre | xhtml:hr | xhtml:blockquote | xhtml:address
           | xhtml:fieldset | xhtml:table | xhtml:form | xhtml:noscript | xhtml:ins | xhtml:del
           | xhtml:script)

type xhtml:body =
       <body onunload=?String onload=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          xhtml:body_content*
          ];;
type xhtml:noscript =
       <noscript onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
          (xhtml:p | xhtml:h1 | xhtml:h2 | xhtml:h3 | xhtml:h4 | xhtml:h5 | xhtml:h6 | xhtml:div | xhtml:ul
           | xhtml:ol | xhtml:dl | xhtml:pre | xhtml:hr | xhtml:blockquote | xhtml:address
           | xhtml:fieldset | xhtml:table | xhtml:form | xhtml:noscript | xhtml:ins | xhtml:del
           | xhtml:script)*
          ];;
type xhtml:script =
       <script defer=?("defer") src=?String type=String charset=?String id=?String>[
          ( Char )* ];;
type xhtml:style =
       <style xml:space="preserve" title=?String media=?String type=String id=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String>[
          ( Char )* ];;
type xhtml:link =
       <link media=?String rev=?String rel=?String type=?String hreflang=?String href=?String charset=?String onkeyup=?String onkeydown=?String onkeypress=?String onmouseout=?String onmousemove=?String onmouseover=?String onmouseup=?String onmousedown=?String ondblclick=?String onclick=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String title=?String style=?String class=?String id=?String>[
           ];;
type xhtml:meta =
       <meta scheme=?String content=String name=?String http-equiv=?String id=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String>[
           ];;
type xhtml:base = <base id=?String href=String>[  ];;
type xhtml:title =
       <title id=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String>[
          ( Char )* ];;
type xhtml:head =
       <head profile=?String id=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String>[
          ((xhtml:script | xhtml:style | xhtml:meta | xhtml:link | xhtml:object)*
           ((xhtml:title (xhtml:script | xhtml:style | xhtml:meta | xhtml:link | xhtml:object)*
             (xhtml:base (xhtml:script | xhtml:style | xhtml:meta | xhtml:link | xhtml:object)*)?)
            | (xhtml:base (xhtml:script | xhtml:style | xhtml:meta | xhtml:link | xhtml:object)*
               (xhtml:title (xhtml:script | xhtml:style | xhtml:meta | xhtml:link | xhtml:object)*))))
          ];;
type xhtml:html =
       <html xmlns="http://www.w3.org/1999/xhtml" id=?String dir=?("ltr" | "rtl") xml:lang=?String lang=?String>[
          (xhtml:head xhtml:body) ];;


let xhtml:serialize (doc : xhtml:html) (mode : `html5|`xhtml) (file : Latin1) : [] =
  let doctype =
    match mode with
    | `html5 ->  "<!DOCTYPE html >"
    | `xhtml ->  "<?xml version=\"1.0\" encoding=\"utf-8\" ?>\n<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\" \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">"
  in
  let buffer =
    doctype @ "\n" @ (print_xml_utf8 doc)
  in
  dump_to_file_utf8 file buffer


let xhtml:create (head : xhtml:head) (body : xhtml:body) : xhtml:html =
    <html xmlns="http://www.w3.org/1999/xhtml">[ head body ]