Module HTML5.M

module M: HTML5_sigs.T  with module XML := XML
			 and module SVG := SVG.M

Concrete implementation of HTML5 typesafe constructors

module XML: XML_sigs.T

module SVG: SVG_sigs.T  with module XML := XML

module Info: XML_sigs.Info

type uri = XML.uri

val string_of_uri : uri -> string

val uri_of_string : string -> uri

Common Attributes

type +'a attrib

val to_xmlattribs : 'a attrib list -> XML.attrib list

val to_attrib : XML.attrib -> 'a attrib

'a is known as a phantom type. The implementation is actually monomorphic (the different element types are distinguished by a homogeneous variable, such as their textual representation) and the type variable `a is just used by the type checker.

NB: It might be possible to use polymorphic variants directly, without phantom types, but the implementation is likely to be more involved.

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

This attribute assigns a class name or set of class names to an element. Any number of elements may be assigned the same class name or names.

val a_user_data : HTML5_types.nmtoken ->
       HTML5_types.text -> [> `User_data ] attrib

May be used to specify custom attribs. The example given by the W3C is as follows :

<ol>
      <li data-length="2m11s">Beyond The Sea</li>
      </ol>

It should be used for preprocessing ends only.

val a_id : HTML5_types.text -> [> `Id ] attrib

This attribute assigns a name to an element. This name must be unique in a document. The text should be without any space.

val a_title : HTML5_types.text -> [> `Title ] attrib

This attribute offers advisory information about the element for which it is set.

Values of the title attribute may be rendered by user agents in a variety of ways. For instance, visual browsers frequently display the title as a tool tip (a short message that appears when the pointing device pauses over an object). Audio user agents may speak the title information in a similar context.

The title attribute has an additional role when used with the link element to designate an external style sheet. Please consult the section on links and style sheets for details.

I18N

val a_xml_lang : HTML5_types.nmtoken -> [> `XML_lang ] attrib

Events

val a_onabort : XML.event -> [> `OnAbort ] attrib

Javascript events

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

This attribute assigns an access key to an element. An access key is a single character from the document character set. NB: authors should consider the input method of the expected reader when specifying an accesskey.

val a_charset : HTML5_types.charset -> [> `Charset ] attrib

This attribute specifies the character encoding of the resource designated by the link. Please consult the section on character encodings for more details.

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

This attribute specifies the location of a Web resource, thus defining a link between the current element (the source anchor) and the destination anchor defined by this attribute.

val a_hreflang : HTML5_types.languagecode -> [> `Hreflang ] attrib

This attribute specifies the base language of the resource designated by href and may only be used when href is specified.

val a_rel : HTML5_types.linktypes -> [> `Rel ] attrib

This attribute describes the relationship from the current document to the anchor specified by the href attribute. The value of this attribute is a space-separated list of link types.

This attribute is used to describe a reverse link from the anchor specified by the href attribute to the current document. The value of this attribute is a space-separated list of link types.

val a_tabindex : HTML5_types.number -> [> `Tabindex ] attrib

This attribute specifies the position of the current element in the tabbing order for the current document. This value must be a number between 0 and 32767. User agents should ignore leading zeros.

val a_mime_type : HTML5_types.contenttype -> [> `Mime_type ] attrib

This attribute gives an advisory hint as to the content type of the content available at the link target address. It allows user agents to opt to use a fallback mechanism rather than fetch the content if they are advised that they will get content in a content type they do not support.Authors who use this attribute take responsibility to manage the risk that it may become inconsistent with the content available at the link target address.

val a_datetime : HTML5_types.cdata -> [> `Datetime ] attrib

val a_action : XML.uri -> [> `Action ] attrib

This attribute specifies a form processing agent. User agent behavior for a value other than an HTTP URI is undefined.

val a_checked : [< `Checked ] -> [> `Checked ] attrib

When the type attribute has the value "radio" or "checkbox", this boolean attribute specifies that the button is on. User agents must ignore this attribute for other control types.

val a_cols : HTML5_types.number -> [> `Cols ] attrib

This attribute specifies the visible width in average character widths. Users should be able to enter longer lines than this, so user agents should provide some means to scroll through the contents of the control when the contents extend beyond the visible area. User agents may wrap visible text lines to keep long lines visible without the need for scrolling.

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

This attribute assigns the control name.

val a_rows : HTML5_types.number -> [> `Rows ] attrib

This attribute specifies the number of visible text lines. Users should be able to enter more lines than this, so user agents should provide some means to scroll through the contents of the control when the contents extend beyond the visible area.

val a_selected : [< `Selected ] -> [> `Selected ] attrib

When set, this boolean attribute specifies that this option is pre-selected.

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

This attribute specifies the initial value of the control. If this attribute is not set, the initial value is set to the contents of the option element.

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

Phantom types and XML elements

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

Star '*' denotes any number of children, uncluding zero.

type ('a, 'b, 'c) plus = ?a:'a attrib list ->
       'b elt -> 'b elt list -> 'c elt

type html = [ `Html ] elt

Root element

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

Combined Element Sets:

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.attrib list ->
       [< HTML5_types.svg_content ] SVG.elt list ->
       [> HTML5_types.svg ] elt

Section

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

Grouping content

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

A list element. The 'a type is used to know whether the element has a int_value attribute or not.

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

Ruby

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

Semantic

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

Hypertext

val a : ([< HTML5_types.a_attrib ], 'a, [> `A of 'a ]) star

Edit

val del : ([< HTML5_types.del_attrib ], 'a, [> `Del of 'a ]) star

val ins : ([< HTML5_types.ins_attrib ], 'a, [> `Ins of 'a ]) star

Embedded

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

Tables Data

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

Forms

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

Label authorizes only one control inside them that should be labelled with a for attribute (although it is not necessary). Such constraints are not currently enforced by the type-system

val input : ([< HTML5_types.input_attrib ], [> HTML5_types.input ]) nullary

If the type attribute is not "hidden", must be considered as interactive. Distinction not made for now.

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

Data

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

Interactive

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

Scripting

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

Style Sheets

val style : ([< HTML5_types.style_attrib ], [< HTML5_types.style_content_fun ],
        [> HTML5_types.style ])
       star

Link

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

Tools

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