Module Xhtmltypes
module Xhtmltypes: sig..end
XHTML types with variants. (See also XHTML.M)
type xhtml = [ `Html ]
type form = [ `Form ]
type a = [ `A ]
type img = [ `Img ]
type link = [ `Link ]
type script = [ `Script ]
type input = [ `Input ]
type textarea = [ `Textarea ]
type param = [ `Param ]
type select = [ `Select ]
type selectoption = [ `Option ]
type optgroup = [ `Optgroup ]
type button = [ `Button ]
type ruby = [ `Ruby_complex | `Ruby_simple1 | `Ruby_simple2 ]
type pcdata = [ `PCDATA ]
type notag
type html_content = [ `Body | `Frameset | `Head ]
type body_content = XHTML.M.block
type div_content =
[ `A
| `Abbr
| `Acronym
| `Address
| `B
| `Bdo
| `Big
| `Blockquote
| `Br
| `Button
| `Cite
| `Code
| `Del
| `Dfn
| `Div
| `Dl
| `Em
| `Fieldset
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Hr
| `I
| `Img
| `Input
| `Ins
| `Kbd
| `Label
| `Map
| `Noscript
| `Object
| `Ol
| `P
| `PCDATA
| `Pre
| `Q
| `Ruby_complex
| `Ruby_simple1
| `Ruby_simple2
| `Samp
| `Script
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Table
| `Textarea
| `Tt
| `Ul
| `Var ]
type object_content =
[ `A
| `Abbr
| `Acronym
| `Address
| `B
| `Bdo
| `Big
| `Blockquote
| `Br
| `Button
| `Cite
| `Code
| `Del
| `Dfn
| `Div
| `Dl
| `Em
| `Fieldset
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Hr
| `I
| `Img
| `Input
| `Ins
| `Kbd
| `Label
| `Map
| `Noscript
| `Object
| `Ol
| `P
| `PCDATA
| `Param
| `Pre
| `Q
| `Ruby_complex
| `Ruby_simple1
| `Ruby_simple2
| `Samp
| `Script
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Table
| `Textarea
| `Tt
| `Ul
| `Var ]
type fieldset_content =
[ `A
| `Abbr
| `Acronym
| `Address
| `B
| `Bdo
| `Big
| `Blockquote
| `Br
| `Button
| `Cite
| `Code
| `Del
| `Dfn
| `Div
| `Dl
| `Em
| `Fieldset
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Hr
| `I
| `Img
| `Input
| `Ins
| `Kbd
| `Label
| `Legend
| `Map
| `Noscript
| `Object
| `Ol
| `P
| `PCDATA
| `Pre
| `Q
| `Ruby_complex
| `Ruby_simple1
| `Ruby_simple2
| `Samp
| `Script
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Table
| `Textarea
| `Tt
| `Ul
| `Var ]
type button_content =
[ `Abbr
| `Acronym
| `Address
| `B
| `Bdo
| `Big
| `Blockquote
| `Br
| `Cite
| `Code
| `Del
| `Dfn
| `Div
| `Dl
| `Em
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Hr
| `I
| `Img
| `Ins
| `Kbd
| `Map
| `Noscript
| `Object
| `Ol
| `P
| `PCDATA
| `Pre
| `Q
| `Samp
| `Script
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Table
| `Tt
| `Ul
| `Var ]
type head_content = [ `Base | `Link | `Meta | `Object | `Script | `Style | `Title ]
type form_content =
[ `Address
| `Blockquote
| `Del
| `Div
| `Dl
| `Fieldset
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Hr
| `Ins
| `Noscript
| `Ol
| `P
| `Pre
| `Script
| `Table
| `Ul ]
type blockquote_content =
[ `Address
| `Blockquote
| `Del
| `Div
| `Dl
| `Fieldset
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Hr
| `Ins
| `Noscript
| `Ol
| `P
| `PCDATA
| `Pre
| `Script
| `Table
| `Ul ]
type map_content =
[ `Address
| `Area
| `Blockquote
| `Del
| `Div
| `Dl
| `Fieldset
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Hr
| `Ins
| `Noscript
| `Ol
| `P
| `Pre
| `Script
| `Table
| `Ul ]
type inlinemix =
[ `A
| `Abbr
| `Acronym
| `B
| `Bdo
| `Big
| `Br
| `Button
| `Cite
| `Code
| `Del
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Ins
| `Kbd
| `Label
| `Map
| `Noscript
| `Object
| `PCDATA
| `Q
| `Ruby_complex
| `Ruby_simple1
| `Ruby_simple2
| `Samp
| `Script
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ]
type label_content =
[ `A
| `Abbr
| `Acronym
| `B
| `Bdo
| `Big
| `Br
| `Button
| `Cite
| `Code
| `Del
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Ins
| `Kbd
| `Map
| `Noscript
| `Object
| `PCDATA
| `Q
| `Samp
| `Script
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ]
type a_content =
[ `Abbr
| `Acronym
| `B
| `Bdo
| `Big
| `Br
| `Button
| `Cite
| `Code
| `Del
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Ins
| `Kbd
| `Label
| `Map
| `Noscript
| `Object
| `PCDATA
| `Q
| `Ruby_complex
| `Ruby_simple1
| `Ruby_simple2
| `Samp
| `Script
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ]
type pre_content =
[ `A
| `Abbr
| `Acronym
| `B
| `Bdo
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Kbd
| `Map
| `PCDATA
| `Q
| `Samp
| `Script
| `Span
| `Strong
| `Tt
| `Var ]
type dl_content = [ `Dd | `Dt ]
type optgroup_content = [ `Option ]
type colgroup_content = [ `Col ]
type ul_content = [ `Li ]
type select_content = [ `Optgroup | `Option ]
type tbody_content = [ `Tr ]
type table_content = [ `Caption | `Col | `Colgroup | `Tbody | `Tfoot | `Thead | `Tr ]
type tr_content = [ `Td | `Th ]
type abbr_content = inlinemix
type acronym_content = inlinemix
type address_content = inlinemix
type b_content = inlinemix
type bdo_content = inlinemix
type big_content = inlinemix
type cite_content = inlinemix
type code_content = inlinemix
type dfn_content = inlinemix
type dt_content = inlinemix
type em_content = inlinemix
type h1_content = inlinemix
type h2_content = inlinemix
type h3_content = inlinemix
type h4_content = inlinemix
type h5_content = inlinemix
type h6_content = inlinemix
type i_content = inlinemix
type kbd_content = inlinemix
type legend_content = inlinemix
type p_content = inlinemix
type q_content = inlinemix
type samp_content = inlinemix
type small_content = inlinemix
type span_content = inlinemix
type strong_content = inlinemix
type sub_content = inlinemix
type sup_content = inlinemix
type tt_content = inlinemix
type var_content = inlinemix
type dd_content = div_content
type del_content = div_content
type ins_content = div_content
type li_content = div_content
type th_content = div_content
type td_content = div_content
type noscript_content = body_content
type area_content = notag
type base_content = notag
type br_content = notag
type col_content = notag
type hr_content = notag
type img_content = notag
type input_content = notag
type meta_content = notag
type param_content = notag
type link_content = pcdata
type option_content = pcdata
type script_content = pcdata
type style_content = pcdata
type textarea_content = pcdata
type title_content = pcdata
type ol_content = ul_content
type thead_content = tbody_content
type tfoot_content = tbody_content
type a_attrib =
[ `Accesskey
| `Charset
| `Class
| `Coords
| `Href
| `Hreflang
| `Id
| `Name_01_00
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Rel
| `Rev
| `Shape
| `Style_Attr
| `Tabindex
| `Target
| `Title
| `Type
| `XML_lang ]
type link_attrib =
[ `Charset
| `Class
| `Href
| `Hreflang
| `Id
| `Media
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Rel
| `Rev
| `Style_Attr
| `Target
| `Title
| `Type
| `XML_lang ]
type script_attrib = [ `Charset | `Defer | `Src | `XML_space | `XMLns ]
type form_attrib =
[ `Accept
| `Accept_charset
| `Class
| `Enctype
| `Id
| `Method
| `Name_01_00
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Style_Attr
| `Target
| `Title
| `XML_lang ]
type img_attrib =
[ `Class
| `Height
| `Id
| `Longdesc
| `Name_01_00
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Style_Attr
| `Title
| `Usemap
| `Width
| `XML_lang ]
type div_attrib = XHTML.M.common
type input_attrib =
[ `Accept
| `Accesskey
| `Alt
| `Checked
| `Class
| `Disabled
| `Id
| `Input_Type
| `Maxlength
| `Name
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Readonly
| `Size
| `Src
| `Style_Attr
| `Tabindex
| `Title
| `Usemap
| `Value
| `XML_lang ]
type textarea_attrib =
[ `Accesskey
| `Class
| `Disabled
| `Id
| `Name
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Readonly
| `Style_Attr
| `Tabindex
| `Title
| `XML_lang ]
type select_attrib =
[ `Class
| `Disabled
| `Id
| `Multiple
| `Name
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Size
| `Style_Attr
| `Tabindex
| `Title
| `XML_lang ]
type optgroup_attrib =
[ `Class
| `Disabled
| `Id
| `Label
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Style_Attr
| `Title
| `XML_lang ]
type option_attrib =
[ `Class
| `Disabled
| `Id
| `Label
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Selected
| `Style_Attr
| `Title
| `Value
| `XML_lang ]
type button_attrib =
[ `Accesskey
| `Button_Type
| `Class
| `Disabled
| `Id
| `Name
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Style_Attr
| `Tabindex
| `Title
| `Value
| `XML_lang ]
type fieldset_attrib = XHTML.M.common
type label_attrib =
[ `Accesskey
| `Class
| `For
| `Id
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Style_Attr
| `Title
| `XML_lang ]
type legend_attrib =
[ `Accesskey
| `Class
| `Id
| `OnClick
| `OnDblClick
| `OnKeyDown
| `OnKeyPress
| `OnKeyUp
| `OnMouseDown
| `OnMouseMove
| `OnMouseOut
| `OnMouseOver
| `OnMouseUp
| `Style_Attr
| `Title
| `XML_lang ]