sig
  module M :
    sig
      module Info : XML_sigs.Info
      type uri = XML.uri
      val string_of_uri : uri -> string
      val uri_of_string : string -> uri
      type +'a attrib
      val to_xmlattribs : 'a attrib list -> XML.attrib list
      val to_attrib : XML.attrib -> 'a attrib
      val a_autocomplete : [< `Off | `On ] -> [> `Autocomplete ] attrib
      val a_async : [< `Async ] -> [> `Async ] attrib
      val a_autofocus : [< `Autofocus ] -> [> `Autofocus ] attrib
      val a_autoplay : [< `Autoplay ] -> [> `Autoplay ] attrib
      val a_challenge : HTML5_types.text -> [> `Challenge ] attrib
      val a_contenteditable :
        [< `False | `True ] -> [> `Contexteditable ] attrib
      val a_contextmenu : HTML5_types.idref -> [> `Contextmenu ] attrib
      val a_controls : [< `Controls ] -> [> `Controls ] attrib
      val a_dir : [< `Ltr | `Rtl ] -> [> `Dir ] attrib
      val a_draggable : [< `False | `True ] -> [> `Draggable ] attrib
      val a_form : HTML5_types.idref -> [> `Form ] attrib
      val a_formaction : XML.uri -> [> `Formaction ] attrib
      val a_formenctype : HTML5_types.contenttype -> [> `Formenctype ] attrib
      val a_formmethod :
        [< `Delete | `Get | `Post | `Put ] -> [> `Formmethod ] attrib
      val a_formnovalidate :
        [< `Formnovalidate ] -> [> `Formnovalidate ] attrib
      val a_formtarget : HTML5_types.text -> [> `Formtarget ] attrib
      val a_hidden : [< `Hidden ] -> [> `Hidden ] attrib
      val a_high : HTML5_types.float_number -> [> `High ] attrib
      val a_icon : XML.uri -> [> `Icon ] attrib
      val a_ismap : [< `Ismap ] -> [> `Ismap ] attrib
      val a_keytype : HTML5_types.text -> [> `Keytype ] attrib
      val a_list : HTML5_types.idref -> [> `List ] attrib
      val a_loop : [< `Loop ] -> [> `Loop ] attrib
      val a_low : HTML5_types.float_number -> [> `High ] attrib
      val a_max : HTML5_types.float_number -> [> `Max ] attrib
      val a_input_max : HTML5_types.number -> [> `Max ] attrib
      val a_min : HTML5_types.float_number -> [> `Min ] attrib
      val a_input_min : HTML5_types.number -> [> `Min ] attrib
      val a_novalidate : [< `Novalidate ] -> [> `Novalidate ] attrib
      val a_open : [< `Open ] -> [> `Open ] attrib
      val a_optimum : HTML5_types.float_number -> [> `Optimum ] attrib
      val a_pattern : HTML5_types.text -> [> `Pattern ] attrib
      val a_placeholder : HTML5_types.text -> [> `Placeholder ] attrib
      val a_poster : XML.uri -> [> `Poster ] attrib
      val a_preload : [< `Audio | `Metadata | `None ] -> [> `Preload ] attrib
      val a_pubdate : [< `Pubdate ] -> [> `Pubdate ] attrib
      val a_radiogroup : HTML5_types.text -> [> `Radiogroup ] attrib
      val a_required : [< `Required ] -> [> `Required ] attrib
      val a_reversed : [< `Reversed ] -> [> `Reversed ] attrib
      val a_sandbox :
        [< `AllowForms | `AllowSameOrigin | `AllowScript ] list ->
        [> `Sandbox ] attrib
      val a_spellcheck : [< `False | `True ] -> [> `Spellcheck ] attrib
      val a_scoped : [< `Scoped ] -> [> `Scoped ] attrib
      val a_seamless : [< `Seamless ] -> [> `Seamless ] attrib
      val a_sizes : HTML5_types.numbers -> [> `Sizes ] attrib
      val a_span : HTML5_types.number -> [> `Span ] attrib
      val a_srclang : HTML5_types.nmtoken -> [> `XML_lang ] attrib
      val a_start : HTML5_types.number -> [> `Start ] attrib
      val a_step : HTML5_types.float_number -> [> `Step ] attrib
      val a_wrap : [< `Hard | `Soft ] -> [> `Wrap ] attrib
      val a_class : HTML5_types.nmtokens -> [> `Class ] attrib
      val a_user_data :
        HTML5_types.nmtoken -> HTML5_types.text -> [> `User_data ] attrib
      val a_id : HTML5_types.text -> [> `Id ] attrib
      val a_title : HTML5_types.text -> [> `Title ] attrib
      val a_xml_lang : HTML5_types.nmtoken -> [> `XML_lang ] attrib
      val a_onabort : XML.event -> [> `OnAbort ] attrib
      val a_onafterprint : XML.event -> [> `OnAfterPrint ] attrib
      val a_onbeforeprint : XML.event -> [> `OnBeforePrint ] attrib
      val a_onbeforeunload : XML.event -> [> `OnBeforeUnload ] attrib
      val a_onblur : XML.event -> [> `OnBlur ] attrib
      val a_oncanplay : XML.event -> [> `OnCanPlay ] attrib
      val a_oncanplaythrough : XML.event -> [> `OnCanPlayThrough ] attrib
      val a_onchange : XML.event -> [> `OnChange ] attrib
      val a_onclick : XML.event -> [> `OnClick ] attrib
      val a_oncontextmenu : XML.event -> [> `OnContextMenu ] attrib
      val a_ondblclick : XML.event -> [> `OnDblClick ] attrib
      val a_ondrag : XML.event -> [> `OnDrag ] attrib
      val a_ondragend : XML.event -> [> `OnDragEnd ] attrib
      val a_ondragenter : XML.event -> [> `OnDragEnter ] attrib
      val a_ondragleave : XML.event -> [> `OnDragLeave ] attrib
      val a_ondragover : XML.event -> [> `OnDragOver ] attrib
      val a_ondragstart : XML.event -> [> `OnDragStart ] attrib
      val a_ondrop : XML.event -> [> `OnDrop ] attrib
      val a_ondurationchange : XML.event -> [> `OnDurationChange ] attrib
      val a_onemptied : XML.event -> [> `OnEmptied ] attrib
      val a_onended : XML.event -> [> `OnEnded ] attrib
      val a_onerror : XML.event -> [> `OnError ] attrib
      val a_onfocus : XML.event -> [> `OnFocus ] attrib
      val a_onformchange : XML.event -> [> `OnFormChange ] attrib
      val a_onforminput : XML.event -> [> `OnFormInput ] attrib
      val a_onhashchange : XML.event -> [> `OnHashChange ] attrib
      val a_oninput : XML.event -> [> `OnInput ] attrib
      val a_oninvalid : XML.event -> [> `OnInvalid ] attrib
      val a_onmousedown : XML.event -> [> `OnMouseDown ] attrib
      val a_onmouseup : XML.event -> [> `OnMouseUp ] attrib
      val a_onmouseover : XML.event -> [> `OnMouseOver ] attrib
      val a_onmousemove : XML.event -> [> `OnMouseMove ] attrib
      val a_onmouseout : XML.event -> [> `OnMouseOut ] attrib
      val a_onmousewheel : XML.event -> [> `OnMouseWheel ] attrib
      val a_onoffline : XML.event -> [> `OnOffLine ] attrib
      val a_ononline : XML.event -> [> `OnOnLine ] attrib
      val a_onpause : XML.event -> [> `OnPause ] attrib
      val a_onplay : XML.event -> [> `OnPlay ] attrib
      val a_onplaying : XML.event -> [> `OnPlaying ] attrib
      val a_onpagehide : XML.event -> [> `OnPageHide ] attrib
      val a_onpageshow : XML.event -> [> `OnPageShow ] attrib
      val a_onpopstate : XML.event -> [> `OnPopState ] attrib
      val a_onprogress : XML.event -> [> `OnProgress ] attrib
      val a_onratechange : XML.event -> [> `OnRateChange ] attrib
      val a_onreadystatechange : XML.event -> [> `OnReadyStateChange ] attrib
      val a_onredo : XML.event -> [> `OnRedo ] attrib
      val a_onresize : XML.event -> [> `OnResize ] attrib
      val a_onscroll : XML.event -> [> `OnScroll ] attrib
      val a_onseeked : XML.event -> [> `OnSeeked ] attrib
      val a_onseeking : XML.event -> [> `OnSeeking ] attrib
      val a_onselect : XML.event -> [> `OnSelect ] attrib
      val a_onshow : XML.event -> [> `OnShow ] attrib
      val a_onstalled : XML.event -> [> `OnStalled ] attrib
      val a_onstorage : XML.event -> [> `OnStorage ] attrib
      val a_onsubmit : XML.event -> [> `OnSubmit ] attrib
      val a_onsuspend : XML.event -> [> `OnSuspend ] attrib
      val a_ontimeupdate : XML.event -> [> `OnTimeUpdate ] attrib
      val a_onundo : XML.event -> [> `OnUndo ] attrib
      val a_onunload : XML.event -> [> `OnUnload ] attrib
      val a_onvolumechange : XML.event -> [> `OnVolumeChange ] attrib
      val a_onwaiting : XML.event -> [> `OnWaiting ] attrib
      val a_onkeypress : XML.event -> [> `OnKeyPress ] attrib
      val a_onkeydown : XML.event -> [> `OnKeyDown ] attrib
      val a_onkeyup : XML.event -> [> `OnKeyUp ] attrib
      val a_onload : XML.event -> [> `OnLoad ] attrib
      val a_onloadeddata : XML.event -> [> `OnLoadedData ] attrib
      val a_onloadedmetadata : XML.event -> [> `OnLoadedMetaData ] attrib
      val a_onloadstart : XML.event -> [> `OnLoadStart ] attrib
      val a_onmessage : XML.event -> [> `OnMessage ] attrib
      val a_version : HTML5_types.cdata -> [> `Version ] attrib
      val a_xmlns : [< `W3_org_1999_xhtml ] -> [> `XMLns ] attrib
      val a_manifest : XML.uri -> [> `Manifest ] attrib
      val a_cite : XML.uri -> [> `Cite ] attrib
      val a_xml_space : [< `Preserve ] -> [> `XML_space ] attrib
      val a_accesskey : HTML5_types.character -> [> `Accesskey ] attrib
      val a_charset : HTML5_types.charset -> [> `Charset ] attrib
      val a_accept_charset :
        HTML5_types.charsets -> [> `Accept_charset ] attrib
      val a_accept : HTML5_types.contenttypes -> [> `Accept ] attrib
      val a_href : XML.uri -> [> `Href ] attrib
      val a_hreflang : HTML5_types.languagecode -> [> `Hreflang ] attrib
      val a_rel : HTML5_types.linktypes -> [> `Rel ] attrib
      val a_tabindex : HTML5_types.number -> [> `Tabindex ] attrib
      val a_mime_type : HTML5_types.contenttype -> [> `Mime_type ] attrib
      val a_datetime : HTML5_types.cdata -> [> `Datetime ] attrib
      val a_action : XML.uri -> [> `Action ] attrib
      val a_checked : [< `Checked ] -> [> `Checked ] attrib
      val a_cols : HTML5_types.number -> [> `Cols ] attrib
      val a_enctype : HTML5_types.contenttype -> [> `Enctype ] attrib
      val a_for : HTML5_types.idref -> [> `For ] attrib
      val a_for_list : HTML5_types.idrefs -> [> `For_List ] attrib
      val a_maxlength : HTML5_types.number -> [> `Maxlength ] attrib
      val a_method :
        [< `Delete | `Get | `Post | `Put ] -> [> `Method ] attrib
      val a_multiple : [< `Multiple ] -> [> `Multiple ] attrib
      val a_name : HTML5_types.text -> [> `Name ] attrib
      val a_rows : HTML5_types.number -> [> `Rows ] attrib
      val a_selected : [< `Selected ] -> [> `Selected ] attrib
      val a_size : HTML5_types.number -> [> `Size ] attrib
      val a_src : XML.uri -> [> `Src ] attrib
      val a_input_type :
        [< `Button
         | `Checkbox
         | `Color
         | `Date
         | `Datetime
         | `Datetime_local
         | `Email
         | `File
         | `Hidden
         | `Image
         | `Month
         | `Number
         | `Password
         | `Radio
         | `Range
         | `Reset
         | `Search
         | `Submit
         | `Tel
         | `Text
         | `Time
         | `Url
         | `Week ] ->
        [> `Input_Type ] attrib
      val a_text_value : HTML5_types.text -> [> `Text_Value ] attrib
      val a_int_value : HTML5_types.number -> [> `Int_Value ] attrib
      val a_value : HTML5_types.cdata -> [> `Value ] attrib
      val a_float_value :
        HTML5_types.float_number -> [> `Float_Value ] attrib
      val a_disabled : [< `Disabled ] -> [> `Disabled ] attrib
      val a_readonly : [< `Readonly ] -> [> `Readonly ] attrib
      val a_button_type :
        [< `Button | `Reset | `Submit ] -> [> `Button_Type ] attrib
      val a_command_type :
        [< `Checkbox | `Command | `Radio ] -> [> `Command_Type ] attrib
      val a_menu_type : [< `Context | `Toolbar ] -> [> `Menu_Type ] attrib
      val a_label : HTML5_types.text -> [> `Label ] attrib
      val a_align :
        [< `Char | `Justify | `Left | `Right ] -> [> `Align ] attrib
      val a_axis : HTML5_types.cdata -> [> `Axis ] attrib
      val a_colspan : HTML5_types.number -> [> `Colspan ] attrib
      val a_headers : HTML5_types.idrefs -> [> `Headers ] attrib
      val a_rowspan : HTML5_types.number -> [> `Rowspan ] attrib
      val a_scope :
        [< `Col | `Colgroup | `Row | `Rowgroup ] -> [> `Scope ] attrib
      val a_summary : HTML5_types.text -> [> `Summary ] attrib
      val a_border : HTML5_types.pixels -> [> `Border ] attrib
      val a_cellpadding : HTML5_types.length -> [> `Cellpadding ] attrib
      val a_cellspacing : HTML5_types.length -> [> `Cellspacing ] attrib
      val a_datapagesize : HTML5_types.cdata -> [> `Datapagesize ] attrib
      val a_rules :
        [< `All | `Cols | `Groups | `None | `Rows ] -> [> `Rules ] attrib
      val a_char : HTML5_types.character -> [> `Char ] attrib
      val a_charoff : HTML5_types.length -> [> `Charoff ] attrib
      val a_alt : HTML5_types.text -> [> `Alt ] attrib
      val a_height : HTML5_types.number -> [> `Height ] attrib
      val a_width : HTML5_types.number -> [> `Width ] attrib
      type shape = [ `Circle | `Default | `Poly | `Rect ]
      val a_shape : shape -> [> `Shape ] attrib
      val a_coords : HTML5_types.numbers -> [> `Coords ] attrib
      val a_usemap : HTML5_types.idref -> [> `Usemap ] attrib
      val a_data : XML.uri -> [> `Data ] attrib
      val a_codetype : HTML5_types.contenttype -> [> `Codetype ] attrib
      val a_fs_rows : HTML5_types.multilengths -> [> `FS_Rows ] attrib
      val a_fs_cols : HTML5_types.multilengths -> [> `FS_Cols ] attrib
      val a_frameborder : [< `One | `Zero ] -> [> `Frameborder ] attrib
      val a_marginheight : HTML5_types.pixels -> [> `Marginheight ] attrib
      val a_marginwidth : HTML5_types.pixels -> [> `Marginwidth ] attrib
      val a_scrolling : [< `Auto | `No | `Yes ] -> [> `Scrolling ] attrib
      val a_target : HTML5_types.frametarget -> [> `Target ] attrib
      val a_content : HTML5_types.text -> [> `Content ] attrib
      val a_http_equiv : HTML5_types.text -> [> `Http_equiv ] attrib
      val a_defer : [< `Defer ] -> [> `Defer ] attrib
      val a_media : HTML5_types.mediadesc -> [> `Media ] attrib
      val a_style : string -> [> `Style_Attr ] attrib
      type +'a elt
      type ('a, 'b) nullary = ?a:'a attrib list -> unit -> 'b elt
      type ('a, 'b, 'c) unary = ?a:'a attrib list -> 'b elt -> 'c elt
      type ('a, 'b, 'c, 'd) binary =
          ?a:'a attrib list -> 'b elt -> 'c elt -> 'd elt
      type ('a, 'b, 'c, 'd) tri = 'a elt -> 'b elt -> 'c elt -> 'd elt
      type ('a, 'b, 'c) star = ?a:'a attrib list -> 'b elt list -> 'c elt
      type ('a, 'b, 'c) plus =
          ?a:'a attrib list -> 'b elt -> 'b elt list -> 'c elt
      type html = [ `Html ] elt
      type rt =
          [ `Rpt of [ `Rp ] elt * [ `Rt ] elt * [ `Rp ] elt
          | `Rt of [ `Rt ] elt ]
      type ruby_content = HTML5_types.phrasing elt list * rt
      type rp =
          HTML5_types.common attrib list * HTML5_types.phrasing elt list
      val html :
        ?a:HTML5_types.html_attrib attrib list ->
        [< `Head ] elt -> [< `Body ] elt -> [> `Html ] elt
      val head :
        ?a:HTML5_types.head_attrib attrib list ->
        [< `Title ] elt ->
        HTML5_types.head_content_fun elt list -> [> HTML5_types.head ] elt
      val base :
        ([< HTML5_types.base_attrib ], [> HTML5_types.base ]) nullary
      val title :
        (HTML5_types.title_attrib, [< HTML5_types.title_content_fun ],
         [> HTML5_types.title ])
        unary
      val body :
        ([< HTML5_types.body_attrib ], [< HTML5_types.body_content_fun ],
         [> HTML5_types.body ])
        star
      val svg :
        ?xmlns:string ->
        ?a:[< HTML5_types.svg_attrib ] SVG.M.attrib list ->
        [< HTML5_types.svg_content ] SVG.M.elt list ->
        [> HTML5_types.svg ] elt
      val footer :
        ([< HTML5_types.common ],
         [< HTML5_types.flow5_without_header_footer ], [> `Footer ])
        star
      val header :
        ([< HTML5_types.common ],
         [< HTML5_types.flow5_without_header_footer ], [> `Header ])
        star
      val section :
        ([< HTML5_types.section_attrib ],
         [< HTML5_types.section_content_fun ], [> HTML5_types.section ])
        star
      val nav :
        ([< HTML5_types.nav_attrib ], [< HTML5_types.nav_content_fun ],
         [> HTML5_types.nav ])
        star
      val h1 :
        ([< HTML5_types.h1_attrib ], [< HTML5_types.h1_content_fun ],
         [> HTML5_types.h1 ])
        star
      val h2 :
        ([< HTML5_types.h2_attrib ], [< HTML5_types.h2_content_fun ],
         [> HTML5_types.h2 ])
        star
      val h3 :
        ([< HTML5_types.h3_attrib ], [< HTML5_types.h3_content_fun ],
         [> HTML5_types.h3 ])
        star
      val h4 :
        ([< HTML5_types.h4_attrib ], [< HTML5_types.h4_content_fun ],
         [> HTML5_types.h4 ])
        star
      val h5 :
        ([< HTML5_types.h5_attrib ], [< HTML5_types.h5_content_fun ],
         [> HTML5_types.h5 ])
        star
      val h6 :
        ([< HTML5_types.h6_attrib ], [< HTML5_types.h6_content_fun ],
         [> HTML5_types.h6 ])
        star
      val hgroup :
        ([< HTML5_types.hgroup_attrib ], [< HTML5_types.hgroup_content_fun ],
         [> HTML5_types.hgroup ])
        plus
      val address :
        ([< HTML5_types.address_attrib ],
         [< HTML5_types.address_content_fun ], [> HTML5_types.address ])
        star
      val article :
        ([< HTML5_types.article_attrib ],
         [< HTML5_types.article_content_fun ], [> HTML5_types.article ])
        star
      val aside :
        ([< HTML5_types.aside_attrib ], [< HTML5_types.aside_content_fun ],
         [> HTML5_types.aside ])
        star
      val p :
        ([< HTML5_types.p_attrib ], [< HTML5_types.p_content_fun ],
         [> HTML5_types.p ])
        star
      val pre :
        ([< HTML5_types.pre_attrib ], [< HTML5_types.pre_content_fun ],
         [> HTML5_types.pre ])
        star
      val blockquote :
        ([< HTML5_types.blockquote_attrib ],
         [< HTML5_types.blockquote_content_fun ],
         [> HTML5_types.blockquote ])
        star
      val div :
        ([< HTML5_types.div_attrib ], [< HTML5_types.div_content_fun ],
         [> HTML5_types.div ])
        star
      val dl :
        ?a:[< HTML5_types.common ] attrib list ->
        (([< `Dt ] elt * [< `Dt ] elt list) *
         ([< `Dd ] elt * [< `Dd ] elt list))
        list -> [> `Dl ] elt
      val ol :
        ([< HTML5_types.ol_attrib ], [< HTML5_types.ol_content_fun ],
         [> HTML5_types.ol ])
        star
      val ul :
        ([< HTML5_types.ul_attrib ], [< HTML5_types.ul_content_fun ],
         [> HTML5_types.ul ])
        star
      val dd :
        ([< HTML5_types.dd_attrib ], [< HTML5_types.dd_content_fun ],
         [> HTML5_types.dd ])
        star
      val dt :
        ([< HTML5_types.dt_attrib ], [< HTML5_types.dt_content_fun ],
         [> HTML5_types.dt ])
        star
      val li :
        ([< HTML5_types.li_attrib ], [< HTML5_types.li_content_fun ],
         [> HTML5_types.li ])
        star
      val figcaption :
        ([< HTML5_types.figcaption_attrib ],
         [< HTML5_types.figcaption_content_fun ],
         [> HTML5_types.figcaption ])
        star
      val figure :
        ?figcaption:[< `Figcaption ] elt ->
        ([< HTML5_types.common ], [< HTML5_types.flow5 ], [> `Figure ]) star
      val hr : ([< HTML5_types.hr_attrib ], [> HTML5_types.hr ]) nullary
      val rt :
        ?rp:rp * rp ->
        ?a:[< HTML5_types.common ] attrib list ->
        [< HTML5_types.phrasing ] elt list -> rt
      val rp :
        ?a:[< HTML5_types.common ] attrib list ->
        [< HTML5_types.phrasing ] elt list -> rp
      val ruby :
        ?a:[< HTML5_types.common ] attrib list ->
        ruby_content -> ruby_content list -> [> `Ruby ] elt
      val b :
        ([< HTML5_types.b_attrib ], [< HTML5_types.b_content_fun ],
         [> HTML5_types.b ])
        star
      val i :
        ([< HTML5_types.i_attrib ], [< HTML5_types.i_content_fun ],
         [> HTML5_types.i ])
        star
      val small :
        ([< HTML5_types.small_attrib ], [< HTML5_types.small_content_fun ],
         [> HTML5_types.small ])
        star
      val sub :
        ([< HTML5_types.sub_attrib ], [< HTML5_types.sub_content_fun ],
         [> HTML5_types.sub ])
        star
      val sup :
        ([< HTML5_types.sup_attrib ], [< HTML5_types.sup_content_fun ],
         [> HTML5_types.sup ])
        star
      val mark :
        ([< HTML5_types.mark_attrib ], [< HTML5_types.mark_content_fun ],
         [> HTML5_types.mark ])
        star
      val wbr : ([< HTML5_types.wbr_attrib ], [> HTML5_types.wbr ]) nullary
      val bdo :
        dir:[< `Ltr | `Rtl ] ->
        ([< HTML5_types.common ], [< HTML5_types.phrasing ], [> `Bdo ]) star
      val abbr :
        ([< HTML5_types.abbr_attrib ], [< HTML5_types.abbr_content_fun ],
         [> HTML5_types.abbr ])
        star
      val br : ([< HTML5_types.br_attrib ], [> HTML5_types.br ]) nullary
      val cite :
        ([< HTML5_types.cite_attrib ], [< HTML5_types.cite_content_fun ],
         [> HTML5_types.cite ])
        star
      val code :
        ([< HTML5_types.code_attrib ], [< HTML5_types.code_content_fun ],
         [> HTML5_types.code ])
        star
      val dfn :
        ([< HTML5_types.dfn_attrib ], [< HTML5_types.dfn_content_fun ],
         [> HTML5_types.dfn ])
        star
      val em :
        ([< HTML5_types.em_attrib ], [< HTML5_types.em_content_fun ],
         [> HTML5_types.em ])
        star
      val kbd :
        ([< HTML5_types.kbd_attrib ], [< HTML5_types.kbd_content_fun ],
         [> HTML5_types.kbd ])
        star
      val q :
        ([< HTML5_types.q_attrib ], [< HTML5_types.q_content_fun ],
         [> HTML5_types.q ])
        star
      val samp :
        ([< HTML5_types.samp_attrib ], [< HTML5_types.samp_content_fun ],
         [> HTML5_types.samp ])
        star
      val span :
        ([< HTML5_types.span_attrib ], [< HTML5_types.span_content_fun ],
         [> HTML5_types.span ])
        star
      val strong :
        ([< HTML5_types.strong_attrib ], [< HTML5_types.strong_content_fun ],
         [> HTML5_types.strong ])
        star
      val time :
        ([< HTML5_types.time_attrib ], [< HTML5_types.time_content_fun ],
         [> HTML5_types.time ])
        star
      val var :
        ([< HTML5_types.var_attrib ], [< HTML5_types.var_content_fun ],
         [> HTML5_types.var ])
        star
      val a : ([< HTML5_types.a_attrib ], 'a, [> `A of 'a ]) star
      val del : ([< HTML5_types.del_attrib ], 'a, [> `Del of 'a ]) star
      val ins : ([< HTML5_types.ins_attrib ], 'a, [> `Ins of 'a ]) star
      val img :
        src:XML.uri ->
        alt:HTML5_types.text ->
        ([< `Accesskey
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Dir
          | `Draggable
          | `Height
          | `Hidden
          | `Id
          | `Ismap
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Spellcheck
          | `Style_Attr
          | `Tabindex
          | `Title
          | `User_data
          | `Width
          | `XML_lang
          | `XMLns ],
         [> `Img ])
        nullary
      val iframe :
        ([< `Accesskey
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Dir
          | `Draggable
          | `Height
          | `Hidden
          | `Id
          | `Name
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Sandbox
          | `Seamless
          | `Spellcheck
          | `Src
          | `Style_Attr
          | `Tabindex
          | `Title
          | `User_data
          | `Width
          | `XML_lang
          | `XMLns ],
         [< `PCDATA ], [> `Iframe ])
        star
      val object_ :
        ?params:[< `Param ] elt list ->
        ([< `Accesskey
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Data
          | `Dir
          | `Draggable
          | `Form
          | `Height
          | `Hidden
          | `Id
          | `Mime_type
          | `Name
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Spellcheck
          | `Style_Attr
          | `Tabindex
          | `Title
          | `Usemap
          | `User_data
          | `Width
          | `XML_lang
          | `XMLns ],
         'a, [> `Object of 'a ])
        star
      val param :
        ([< HTML5_types.param_attrib ], [> HTML5_types.param ]) nullary
      val embed :
        ([< `Accesskey
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Dir
          | `Draggable
          | `Height
          | `Hidden
          | `Id
          | `Mime_type
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Spellcheck
          | `Src
          | `Style_Attr
          | `Tabindex
          | `Title
          | `User_data
          | `Width
          | `XML_lang
          | `XMLns ],
         [> `Embed ])
        nullary
      val audio :
        ?srcs:XML.uri * [< `Source ] elt list ->
        ([< `Accesskey
          | `Autoplay
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Controls
          | `Dir
          | `Draggable
          | `Hidden
          | `Id
          | `Loop
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Preload
          | `Spellcheck
          | `Style_Attr
          | `Tabindex
          | `Title
          | `User_data
          | `XML_lang
          | `XMLns ],
         'a, [> `Audio of 'a ])
        star
      val video :
        ?srcs:XML.uri * [< `Source ] elt list ->
        ([< `Accesskey
          | `Autoplay
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Controls
          | `Dir
          | `Draggable
          | `Height
          | `Hidden
          | `Id
          | `Loop
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Poster
          | `Preload
          | `Spellcheck
          | `Style_Attr
          | `Tabindex
          | `Title
          | `User_data
          | `Width
          | `XML_lang
          | `XMLns ],
         'a, [> `Video of 'a ])
        star
      val canvas :
        ([< HTML5_types.canvas_attrib ], 'a, [> `Canvas of 'a ]) star
      val source :
        ([< HTML5_types.source_attrib ], [> HTML5_types.source ]) nullary
      val area :
        alt:HTML5_types.text ->
        ([< `Accesskey
          | `Alt
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Coords
          | `Dir
          | `Draggable
          | `Hidden
          | `Hreflang
          | `Id
          | `Media
          | `Mime_type
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Rel
          | `Shape
          | `Spellcheck
          | `Style_Attr
          | `Tabindex
          | `Target
          | `Title
          | `User_data
          | `XML_lang
          | `XMLns ],
         [> `Area ])
        nullary
      val map : ([< HTML5_types.map_attrib ], 'a, [> `A of 'a ]) plus
      val caption :
        ([< HTML5_types.caption_attrib ],
         [< HTML5_types.caption_content_fun ], [> HTML5_types.caption ])
        star
      val table :
        ?caption:[< `Caption ] elt ->
        ?columns:[< `Colgroup ] elt list ->
        ?thead:[< `Thead ] elt ->
        ?tfoot:[< `Tfoot ] elt ->
        ([< `Accesskey
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Dir
          | `Draggable
          | `Hidden
          | `Id
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Spellcheck
          | `Style_Attr
          | `Summary
          | `Tabindex
          | `Title
          | `User_data
          | `XML_lang
          | `XMLns ],
         [< `Tr ], [> `Table ])
        plus
      val tablex :
        ?caption:[< `Caption ] elt ->
        ?columns:[< `Colgroup ] elt list ->
        ?thead:[< `Thead ] elt ->
        ?tfoot:[< `Tfoot ] elt ->
        ([< `Accesskey
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Dir
          | `Draggable
          | `Hidden
          | `Id
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Spellcheck
          | `Style_Attr
          | `Summary
          | `Tabindex
          | `Title
          | `User_data
          | `XML_lang
          | `XMLns ],
         [< `Tbody ], [> `Table ])
        star
      val colgroup :
        ([< HTML5_types.colgroup_attrib ],
         [< HTML5_types.colgroup_content_fun ], [> HTML5_types.colgroup ])
        star
      val col : ([< HTML5_types.col_attrib ], [> HTML5_types.col ]) nullary
      val thead :
        ([< HTML5_types.thead_attrib ], [< HTML5_types.thead_content_fun ],
         [> HTML5_types.thead ])
        star
      val tbody :
        ([< HTML5_types.tbody_attrib ], [< HTML5_types.tbody_content_fun ],
         [> HTML5_types.tbody ])
        star
      val tfoot :
        ([< HTML5_types.tfoot_attrib ], [< HTML5_types.tfoot_content_fun ],
         [> HTML5_types.tfoot ])
        star
      val td :
        ([< HTML5_types.td_attrib ], [< HTML5_types.td_content_fun ],
         [> HTML5_types.td ])
        star
      val th :
        ([< HTML5_types.th_attrib ], [< HTML5_types.th_content_fun ],
         [> HTML5_types.th ])
        star
      val tr :
        ([< HTML5_types.tr_attrib ], [< HTML5_types.tr_content_fun ],
         [> HTML5_types.tr ])
        star
      val form :
        ([< HTML5_types.form_attrib ], [< HTML5_types.form_content_fun ],
         [> HTML5_types.form ])
        plus
      val fieldset :
        ?legend:[ `Legend ] elt ->
        ([< `Accesskey
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Dir
          | `Disabled
          | `Draggable
          | `Form
          | `Hidden
          | `Id
          | `Name
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Spellcheck
          | `Style_Attr
          | `Tabindex
          | `Title
          | `User_data
          | `XML_lang
          | `XMLns ],
         [< HTML5_types.flow5 ], [> `Fieldset ])
        star
      val legend :
        ([< HTML5_types.legend_attrib ], [< HTML5_types.legend_content_fun ],
         [> HTML5_types.legend ])
        star
      val label :
        ([< HTML5_types.label_attrib ], [< HTML5_types.label_content_fun ],
         [> HTML5_types.label ])
        star
      val input :
        ([< HTML5_types.input_attrib ], [> HTML5_types.input ]) nullary
      val button :
        ([< HTML5_types.button_attrib ], [< HTML5_types.button_content_fun ],
         [> HTML5_types.button ])
        star
      val select :
        ([< HTML5_types.select_attrib ], [< HTML5_types.select_content_fun ],
         [> HTML5_types.select ])
        star
      val datalist :
        ?children:[< `Options of [< `Option ] elt list
                   | `Phras of [< HTML5_types.phrasing ] elt list ] ->
        ([< HTML5_types.common ], [> `Datalist ]) nullary
      val optgroup :
        label:HTML5_types.text ->
        ([< `Accesskey
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Dir
          | `Disabled
          | `Draggable
          | `Hidden
          | `Id
          | `Label
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Spellcheck
          | `Style_Attr
          | `Tabindex
          | `Title
          | `User_data
          | `XML_lang
          | `XMLns ],
         [< `Option ], [> `Optgroup ])
        star
      val option :
        ([< HTML5_types.option_attrib ], [< HTML5_types.option_content_fun ],
         [> HTML5_types.selectoption ])
        unary
      val textarea :
        ([< HTML5_types.textarea_attrib ],
         [< HTML5_types.textarea_content_fun ], [> HTML5_types.textarea ])
        unary
      val keygen :
        ([< HTML5_types.keygen_attrib ], [> HTML5_types.keygen ]) nullary
      val progress :
        ([< HTML5_types.progress_attrib ],
         [< HTML5_types.progress_content_fun ], [> HTML5_types.progress ])
        star
      val meter :
        ([< HTML5_types.meter_attrib ], [< HTML5_types.meter_content_fun ],
         [> HTML5_types.meter ])
        star
      val output_elt :
        ([< HTML5_types.output_elt_attrib ],
         [< HTML5_types.output_elt_content_fun ],
         [> HTML5_types.output_elt ])
        star
      val pcdata : string -> [> `PCDATA ] elt
      val entity : string -> [> `PCDATA ] elt
      val space : unit -> [> `PCDATA ] elt
      val cdata : string -> [> `PCDATA ] elt
      val cdata_script : string -> [> `PCDATA ] elt
      val cdata_style : string -> [> `PCDATA ] elt
      val unsafe_data : string -> 'a elt
      val details :
        [< `Summary ] elt ->
        ([< `Accesskey
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Dir
          | `Draggable
          | `Hidden
          | `Id
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Open
          | `Spellcheck
          | `Style_Attr
          | `Tabindex
          | `Title
          | `User_data
          | `XML_lang
          | `XMLns ],
         [< HTML5_types.flow5 ] elt, [> `Details ])
        star
      val summary :
        ([< HTML5_types.summary_attrib ],
         [< HTML5_types.summary_content_fun ], [> HTML5_types.summary ])
        star
      val command :
        label:HTML5_types.text ->
        ([< `Accesskey
          | `Checked
          | `Class
          | `Command_Type
          | `Contenteditable
          | `Contextmenu
          | `Dir
          | `Disabled
          | `Draggable
          | `Hidden
          | `Icon
          | `Id
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Radiogroup
          | `Spellcheck
          | `Style_Attr
          | `Tabindex
          | `Title
          | `User_data
          | `XML_lang
          | `XMLns ],
         [> `Command ])
        nullary
      val menu :
        ?child:[< `Flows of [< HTML5_types.flow5 ] elt list
                | `Lis of [< `Li of [< HTML5_types.common ] ] elt list ] ->
        ([< `Accesskey
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Dir
          | `Draggable
          | `Hidden
          | `Id
          | `Label
          | `Menu_Type
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Spellcheck
          | `Style_Attr
          | `Tabindex
          | `Title
          | `User_data
          | `XML_lang
          | `XMLns ],
         [> `Menu ])
        nullary
      val script :
        ([< HTML5_types.script_attrib ], [< HTML5_types.script_content_fun ],
         [> HTML5_types.script ])
        unary
      val noscript :
        ([< HTML5_types.noscript_attrib ],
         [< HTML5_types.noscript_content_fun ], [> HTML5_types.noscript ])
        plus
      val meta :
        ([< HTML5_types.meta_attrib ], [> HTML5_types.meta ]) nullary
      val style :
        ([< HTML5_types.style_attrib ], [< HTML5_types.style_content_fun ],
         [> HTML5_types.style ])
        star
      val link :
        rel:HTML5_types.linktypes ->
        href:XML.uri ->
        ([< `Accesskey
          | `Class
          | `Contenteditable
          | `Contextmenu
          | `Dir
          | `Draggable
          | `Hidden
          | `Href
          | `Hreflang
          | `Id
          | `Media
          | `Mime_type
          | `OnAbort
          | `OnBlur
          | `OnCanPlay
          | `OnCanPlayThrough
          | `OnChange
          | `OnClick
          | `OnContextMenu
          | `OnDblClick
          | `OnDrag
          | `OnDragEnd
          | `OnDragEnter
          | `OnDragLeave
          | `OnDragOver
          | `OnDragStart
          | `OnDrop
          | `OnDurationChange
          | `OnEmptied
          | `OnEnded
          | `OnError
          | `OnFocus
          | `OnFormChange
          | `OnFormInput
          | `OnInput
          | `OnInvalid
          | `OnKeyDown
          | `OnKeyPress
          | `OnKeyUp
          | `OnLoad
          | `OnLoadStart
          | `OnLoadedData
          | `OnLoadedMetaData
          | `OnMouseDown
          | `OnMouseMove
          | `OnMouseOut
          | `OnMouseOver
          | `OnMouseUp
          | `OnMouseWheel
          | `OnPause
          | `OnPlay
          | `OnPlaying
          | `OnProgress
          | `OnRateChange
          | `OnReadyStateChange
          | `OnScroll
          | `OnSeeked
          | `OnSeeking
          | `OnSelect
          | `OnShow
          | `OnStalled
          | `OnSubmit
          | `OnSuspend
          | `OnTimeUpdate
          | `OnVolumeChange
          | `OnWaiting
          | `Rel
          | `Sizes
          | `Spellcheck
          | `Style_Attr
          | `Tabindex
          | `Title
          | `User_data
          | `XML_lang
          | `XMLns ],
         [> `Link ])
        nullary
      val tot : XML.elt -> 'a elt
      val totl : XML.elt list -> 'a elt list
      val toelt : 'a elt -> XML.elt
      val toeltl : 'a elt list -> XML.elt list
      type doc = [ `Html ] elt
      val doc_toelt : doc -> XML.elt
    end
  module P :
    sig
      val print_list :
        output:(string -> unit) ->
        ?encode:(string -> string) -> 'M.elt list -> unit
      val print :
        output:(string -> unit) ->
        ?encode:(string -> string) -> ?advert:string -> M.doc -> unit
    end
  module MakePrinter :
    functor (O : XML_sigs.Output->
      sig
        val print_list : ?encode:(string -> string) -> 'M.elt list -> O.out
        val print :
          ?encode:(string -> string) -> ?advert:string -> M.doc -> O.out
      end
end