Warning: Reason support is experimental. We are looking for beta-tester and contributors.

Module Xhtml_types

module Xhtml_types : sig..end

XHTML types with variants. (See also Xhtml.M)


The elements, attributes, attribute types and data types are given names that match the names in the W3C recommendation as closely as allowed by a strict typing discipline and the lexical conventions of O'Caml:

  • elements are implemented as O'Caml constructors with the same name as in the W3C recommendation. The domain and codomain are specified as 'a elt, where 'a is a concrete phantom type build out of polymorphic variants.
  • attributes are implemented as O'Caml constructors with a_ prefixed to the name. The name is the same as in the W3C recommendation, unless an additional prefix is required to disambiguate:
    • a_fs_rows and a_fs_cols instead of a_rows and a_cols for framesets, because of the different argument types.
  • attribute types are implemented as O'Caml types that all have the same names as in the W3C recommendation, but are all lowercase.
  • data types are also implemented as O'Caml types that all have the same names as in the W3C recommendation and are again all lowercase.

Finite sets of alternatives are mapped to polymorphic variants.

The phantom type is always the most general required by any (supported) version of the standard. Type discipline is enforced by exporting or not-exporting the corresponding constructor.

Attribute Types

type cdata = string

Character data

type id = string

A document-unique identifier

type idref = string

A reference to a document-unique identifier

type idrefs = idref list

A space-separated list of references to document-unique identifiers

type name = string

A name with the same character constraints as ID above

type nmtoken = string

A name composed of only name tokens as defined in XML 1.0 See also XML 1.0

type nmtokens = nmtoken list

One or more white space separated NMTOKEN values

Data Types

type character = char

A single character from ISO 10646.

type charset = string

A character encoding, as per RFC2045 (MIME). See also RFC2045

type charsets = charset list

A space-separated list of character encodings, as per RFC2045 (MIME). See also RFC2045

type contenttype = string

A media type, as per RFC2045 (MIME). See also RFC2045

type contenttypes = contenttype list

A comma-separated list of media types, as per RFC2045 (MIME). See also RFC 2045

type coords = string list

Comma- separated list of coordinates to use in defining areas.

type datetime = string

Date and time information.

type fpi = string

A character string representing an SGML Formal Public Identifier.

type frametarget = string

Frame name used as destination for results of certain actions.

type languagecode = string

A language code, as per RFC5646. See also RFC5646

type length = [ `Percent of int | `Pixels of int ]

The value may be either in pixels or a percentage of the available horizontal or vertical space. Thus, the value `Percent 50 means half of the available space.

type linktypes = 
  [ `Alternate
  | `Appendix
  | `Bookmark
  | `Chapter
  | `Contents
  | `Copyright
  | `Glossary
  | `Help
  | `Index
  | `Next
  | `Other of string
  | `Prev
  | `Section
  | `Start
  | `Stylesheet
  | `Subsection ] list

Authors may use the following recognized link types, listed here with their conventional interpretations. A LinkTypes value refers to a space-separated list of link types. White space characters are not permitted within link types. These link types are case-insensitive, i.e., "Alternate" has the same meaning as "alternate".

User agents, search engines, etc. may interpret these link types in a variety of ways. For example, user agents may provide access to linked documents through a navigation bar.

  • `Alternate: Designates substitute versions for the document in which the link occurs. When used together with the hreflang attribute, it implies a translated version of the document. When used together with the media attribute, it implies a version designed for a different medium (or media).
  • `Stylesheet: Refers to an external style sheet. See the Style Module for details. This is used together with the link type "Alternate" for user-selectable alternate style sheets.
  • `Start: Refers to the first document in a collection of documents. This link type tells search engines which document is considered by the author to be the starting point of the collection.
  • `Next: Refers to the next document in a linear sequence of documents. User agents may choose to pre-load the "next" document, to reduce the perceived load time.
  • `Prev: Refers to the previous document in an ordered series of documents. Some user agents also support the synonym "Previous".
  • `Contents: Refers to a document serving as a table of contents. Some user agents also support the synonym ToC (from "Table of Contents").
  • `Index: Refers to a document providing an index for the current document.
  • `Glossary: Refers to a document providing a glossary of terms that pertain to the current document.
  • `Copyright: Refers to a copyright statement for the current document.
  • `Chapter: Refers to a document serving as a chapter in a collection of documents.
  • `Section: Refers to a document serving as a section in a collection of documents.
  • `Subsection: Refers to a document serving as a subsection in a collection of documents.
  • `Appendix: Refers to a document serving as an appendix in a collection of documents.
  • `Help: Refers to a document offering help (more information, links to other sources information, etc.)
  • `Bookmark: Refers to a bookmark. A bookmark is a link to a key entry point within an extended document. The title attribute may be used, for example, to label the bookmark. Note that several bookmarks may be defined in each document.
  • `Other: refers to any other type (for example icon or shortcut).
type mediadesc = 
  [ `All
  | `Aural
  | `Braille
  | `Embossed
  | `Handheld
  | `Print
  | `Projection
  | `Screen
  | `Speech
  | `TTY
  | `TV ] list

The MediaDesc attribute is a comma-separated list of media descriptors. The following is a list of recognized media descriptors:

  • `Screen: Intended for non-paged computer screens.
  • `TTY: Intended for media using a fixed-pitch character grid, such as teletypes, terminals, or portable devices with limited display capabilities.
  • `TV: Intended for television-type devices (low resolution, color, limited scrollability).
  • `Projection: Intended for projectors.
  • `Handheld: Intended for handheld devices (small screen, monochrome, bitmapped graphics, limited bandwidth).
  • `Print: Intended for paged, opaque material and for documents viewed on screen in print preview mode.
  • `Braille: Intended for braille tactile feedback devices.
  • `Aural: Intended for speech synthesizers.
  • `All: Suitable for all devices.

Future versions of XHTML may introduce new values and may allow parameterized values. To facilitate the introduction of these extensions, conforming user agents must be able to parse the media attribute value as follows:

  1. The value is a comma-separated list of entries. For example, is mapped to: "screen", "3d-glasses", "print and resolution > 90dpi".
  2. Each entry is truncated just before the first character that isn't a US ASCII letter [a-zA-Z] (ISO 10646 hex 41-5a, 61-7a), digit [0-9] (hex 30-39), or hyphen-minus (hex 2d). In the example, this gives: "screen", "3d-glasses", "print".
  3. A case-insensitive match is then made with the set of media types defined above. User agents may ignore entries that don't match. In the example we are left with "screen" and "print".

Note. Style sheets may include media-dependent variations within them (e.g., the CSS @media construct). In such cases it may be appropriate to use "media=all".

type multilength = [ `Percent of int | `Pixels of int | `Relative of int ]

The value may be a Length or a relative length. A relative length has the form "i*", where "i" is an integer. When allotting space among elements competing for that space, user agents allot pixel and percentage lengths first, then divide up remaining available space among relative lengths. Each relative length receives a portion of the available space that is proportional to the integer preceding the "*". The value "*" is equivalent to "1*". Thus, if 60 pixels of space are available after the user agent allots pixel and percentage space, and the competing relative lengths are "1*", "2*", and "3*", the "1*" will be allotted 10 pixels, the "2*" will be allotted 20 pixels, and the "3*" will be allotted 30 pixels.

type multilengths = multilength list

A comma separated list of items of type MultiLength.

type number = int

One or more digits.

type pixels = int

The value is an integer that represents the number of pixels of the canvas (screen, paper). Thus, the value "50" means fifty pixels. For normative information about the definition of a pixel, please consult CSS2. See also CSS2

type text = string

Arbitrary textual data, likely meant to be human-readable.

Attributes

type core = [ `Class | `Id | `Title | `XML_space ]
type i18n = [ `Dir | `XML_lang ]
type events = 
  [ `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp ]
type common = 
  [ `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `XML_lang
  | `XML_space ]
module HYPERTEXT : sig..end
module LIST : sig..end
module PRESENTATION : sig..end
module FORMS : sig..end
module TABLES : sig..end
module STYLE_SHEET : sig..end
module LINK : sig..end
module BASE : sig..end
module TEXT : sig..end
type edit = [ `Del | `Ins ]
type scripttag = [ `Noscript | `Script ]
type misc = [ `Del | `Ins | `Noscript | `Script ]
module SPECIAL : sig..end
type i18nclass = [ `Bdo ]
module RUBY : sig..end
type no_ruby_inline = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `Img
  | `Input
  | `Kbd
  | `Label
  | `Map
  | `Object
  | `Q
  | `Samp
  | `Select
  | `Small
  | `Span
  | `Strong
  | `Sub
  | `Sup
  | `Textarea
  | `Tt
  | `Var ]
type no_ruby_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `Img
  | `Input
  | `Ins
  | `Kbd
  | `Label
  | `Map
  | `Noscript
  | `Object
  | `PCDATA
  | `Q
  | `Samp
  | `Script
  | `Select
  | `Small
  | `Span
  | `Strong
  | `Sub
  | `Sup
  | `Textarea
  | `Tt
  | `Var ]
type block = 
  [ `Address
  | `Blockquote
  | `Del
  | `Div
  | `Dl
  | `Fieldset
  | `Form
  | `H1
  | `H2
  | `H3
  | `H4
  | `H5
  | `H6
  | `Hr
  | `Ins
  | `Noscript
  | `Ol
  | `P
  | `Pre
  | `Script
  | `Table
  | `Ul ]

Combined Element Sets:

type block_sans_form = 
  [ `Address
  | `Blockquote
  | `Del
  | `Div
  | `Dl
  | `H1
  | `H2
  | `H3
  | `H4
  | `H5
  | `H6
  | `Hr
  | `Ins
  | `Noscript
  | `Ol
  | `P
  | `Pre
  | `Script
  | `Table
  | `Ul ]
type flow = 
  [ `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
  | `Iframe
  | `Img
  | `Input
  | `Ins
  | `Kbd
  | `Label
  | `Map
  | `Noscript
  | `Object
  | `Ol
  | `P
  | `Pre
  | `Q
  | `Ruby_complex
  | `Ruby_simple1
  | `Ruby_simple2
  | `Samp
  | `Script
  | `Select
  | `Small
  | `Span
  | `Strong
  | `Sub
  | `Sup
  | `Table
  | `Textarea
  | `Tt
  | `Ul
  | `Var ]
type flow_sans_table = 
  [ `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
  | `Iframe
  | `Img
  | `Input
  | `Ins
  | `Kbd
  | `Label
  | `Map
  | `Noscript
  | `Object
  | `Ol
  | `P
  | `Pre
  | `Q
  | `Ruby_complex
  | `Ruby_simple1
  | `Ruby_simple2
  | `Samp
  | `Script
  | `Select
  | `Small
  | `Span
  | `Strong
  | `Sub
  | `Sup
  | `Table
  | `Textarea
  | `Tt
  | `Ul
  | `Var ]
type inline = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `Img
  | `Input
  | `Ins
  | `Kbd
  | `Label
  | `Map
  | `Noscript
  | `Object
  | `Q
  | `Ruby_complex
  | `Ruby_simple1
  | `Ruby_simple2
  | `Samp
  | `Script
  | `Select
  | `Small
  | `Span
  | `Strong
  | `Sub
  | `Sup
  | `Textarea
  | `Tt
  | `Var ]
type inline_sans_a_mix = 
  [ `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `Img
  | `Input
  | `Ins
  | `Kbd
  | `Label
  | `Map
  | `Noscript
  | `Object
  | `Q
  | `Ruby_complex
  | `Ruby_simple1
  | `Ruby_simple2
  | `Samp
  | `Script
  | `Select
  | `Small
  | `Span
  | `Strong
  | `Sub
  | `Sup
  | `Textarea
  | `Tt
  | `Var ]
type buttoncontent = 
  [ `Abbr
  | `Acronym
  | `Address
  | `B
  | `Bdo
  | `Big
  | `Blockquote
  | `Br
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Div
  | `Dl
  | `Em
  | `H1
  | `H2
  | `H3
  | `H4
  | `H5
  | `H6
  | `Hr
  | `I
  | `Iframe
  | `Img
  | `Ins
  | `Kbd
  | `Map
  | `Noscript
  | `Object
  | `Ol
  | `P
  | `Pre
  | `Q
  | `Samp
  | `Script
  | `Small
  | `Span
  | `Strong
  | `Sub
  | `Sup
  | `Table
  | `Tt
  | `Ul
  | `Var ]
type precontent = inline
type inline_sans_label = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `Img
  | `Input
  | `Ins
  | `Kbd
  | `Map
  | `Noscript
  | `Object
  | `Q
  | `Samp
  | `Script
  | `Select
  | `Small
  | `Span
  | `Strong
  | `Sub
  | `Sup
  | `Textarea
  | `Tt
  | `Var ]
type heading = TEXT.heading
type xhtml = [ `Html ]
type pcdata = [ `PCDATA ]
type notag
type html = [ `Html ]
type html_attrib = [ `Dir | `Id | `Version | `XML_lang | `XMLns ]
type html_content = [ `Body | `Head ]
type head = [ `Head ]
type head_content = [ `Base | `Link | `Meta | `Object | `Script | `Style | `Title ]
type head_attrib = [ `Dir | `Id | `Profile | `XML_lang ]
type table = [ `Table ]
type table_attrib = 
  [ `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Summary
  | `Title
  | `Tr
  | `Width
  | `XML_lang
  | `XML_space ]
type table_content = [ `Tr ]
type inlinemix = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 title = [ `Title ]
type title_attrib = [ `Dir | `Id | `XML_lang ]
type title_content = [ `PCDATA ]
type body = [ `Body ]
type body_attrib = 
  [ `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnLoad
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `OnUnload
  | `Style_Attr
  | `Title
  | `XML_lang
  | `XML_space ]
type body_content = block
type h1 = [ `H1 ]
type h1_attrib = common
type h1_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 h2 = [ `H2 ]
type h2_attrib = common
type h2_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 h3 = [ `H3 ]
type h3_attrib = common
type h3_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 h4 = [ `H4 ]
type h4_attrib = common
type h4_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 h5 = [ `H5 ]
type h5_attrib = common
type h5_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 h6 = [ `H6 ]
type h6_attrib = common
type h6_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 address = [ `Address ]
type address_attrib = common
type address_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 div = [ `Div ]
type div_attrib = common
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
  | `Iframe
  | `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 p = [ `P ]
type p_attrib = common
type p_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 abbr = [ `Abbr ]
type abbr_attrib = common
type abbr_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 acronym = [ `Acronym ]
type acronym_attrib = common
type acronym_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 br = [ `Br ]
type br_attrib = core
type br_content = notag
type cite = [ `Cite ]
type cite_attrib = common
type cite_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 code = [ `Code ]
type code_attrib = common
type code_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 dfn = [ `Dfn ]
type dfn_attrib = common
type dfn_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 em = [ `Em ]
type em_attrib = common
type em_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 kbd = [ `Kbd ]
type kbd_attrib = common
type kbd_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 q = [ `Q ]
type q_attrib = 
  [ `Cite
  | `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `XML_lang
  | `XML_space ]
type q_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 samp = [ `Samp ]
type samp_attrib = common
type samp_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 span = [ `Span ]
type span_attrib = common
type span_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 strong = [ `Strong ]
type strong_attrib = common
type strong_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 var = [ `Var ]
type var_attrib = common
type var_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 a = [ `A ]
type a_attrib = 
  [ `Accesskey
  | `Charset
  | `Class
  | `Coords
  | `Dir
  | `Href
  | `Hreflang
  | `Id
  | `Name_01_00
  | `OnBlur
  | `OnClick
  | `OnDblClick
  | `OnFocus
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Rel
  | `Rev
  | `Shape
  | `Style_Attr
  | `Tabindex
  | `Target
  | `Title
  | `Type
  | `XML_lang
  | `XML_space ]
type a_content = 
  [ `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 dl = [ `Dl ]
type dl_attrib = common
type dl_content = [ `Dd | `Dt ]
type ol = [ `Ol ]
type ol_attrib = common
type ol_content = [ `Li ]
type ul = [ `Ul ]
type ul_attrib = common
type ul_content = [ `Li ]
type dd = [ `Dd ]
type dd_attrib = common
type dd_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
  | `Iframe
  | `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 dt = [ `Dt ]
type dt_attrib = common
type dt_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 li = [ `Li ]
type li_attrib = common
type li_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
  | `Iframe
  | `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 hr = [ `Hr ]
type hr_attrib = common
type hr_content = notag
type b = [ `B ]
type b_attrib = common
type b_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 big = [ `Big ]
type big_attrib = common
type big_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 i = [ `I ]
type i_attrib = common
type i_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 small = [ `Small ]
type small_attrib = common
type small_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 sub = [ `Sub ]
type sub_attrib = common
type sub_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 sup = [ `Sup ]
type sup_attrib = common
type sup_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 tt = [ `Tt ]
type tt_attrib = common
type tt_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 bdo = [ `Bdo ]
type bdo_attrib = [ `Class | `Id | `Title | `XML_lang | `XML_space ]
type bdo_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 area = [ `Area ]
type area_attrib = 
  [ `Accesskey
  | `Class
  | `Coords
  | `Dir
  | `Href
  | `Id
  | `Nohref
  | `OnBlur
  | `OnClick
  | `OnDblClick
  | `OnFocus
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Shape
  | `Style_Attr
  | `Tabindex
  | `Title
  | `XML_lang
  | `XML_space ]
type area_content = notag
type map = [ `Map ]
type map_attrib = 
  [ `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Title
  | `XML_lang
  | `XML_space
  | `XMLns ]
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 del = [ `Del ]
type del_attrib = 
  [ `Cite
  | `Class
  | `Datetime
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `XML_lang
  | `XML_space ]
type del_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
  | `Iframe
  | `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 ins = [ `Ins ]
type ins_attrib = 
  [ `Cite
  | `Class
  | `Datetime
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `XML_lang
  | `XML_space ]
type ins_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
  | `Iframe
  | `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 script = [ `Script ]
type script_attrib = [ `Charset | `Defer | `Id | `Src | `XML_space | `XMLns ]
type script_content = [ `PCDATA ]
type noscript = [ `Noscript ]
type noscript_attrib = common
type noscript_content = block
type form = [ `Form ]
type form_attrib = 
  [ `Accept
  | `Accept_charset
  | `Class
  | `Dir
  | `Enctype
  | `Id
  | `Method
  | `Name_01_00
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `OnReset
  | `OnSubmit
  | `Style_Attr
  | `Target
  | `Title
  | `XML_lang
  | `XML_space ]
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 input = [ `Input ]
type input_attrib = 
  [ `Accept
  | `Accesskey
  | `Alt
  | `Checked
  | `Class
  | `Dir
  | `Disabled
  | `Id
  | `Input_Type
  | `Ismap
  | `Maxlength
  | `Name
  | `OnBlur
  | `OnChange
  | `OnClick
  | `OnDblClick
  | `OnFocus
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `OnSelect
  | `ReadOnly
  | `Size
  | `Src
  | `Style_Attr
  | `Tabindex
  | `Title
  | `Usemap
  | `Value
  | `XML_lang
  | `XML_space ]
type input_content = notag
type label = [ `Label ]
type label_attrib = 
  [ `Accesskey
  | `Class
  | `Dir
  | `For
  | `Id
  | `OnBlur
  | `OnClick
  | `OnDblClick
  | `OnFocus
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `XML_lang
  | `XML_space ]
type label_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `Img
  | `Input
  | `Ins
  | `Kbd
  | `Map
  | `Noscript
  | `Object
  | `PCDATA
  | `Q
  | `Samp
  | `Script
  | `Select
  | `Small
  | `Span
  | `Strong
  | `Sub
  | `Sup
  | `Textarea
  | `Tt
  | `Var ]
type optgroup = [ `Optgroup ]
type optgroup_attrib = 
  [ `Class
  | `Dir
  | `Disabled
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `XML_lang
  | `XML_space ]
type optgroup_content = [ `Option ]
type selectoption = [ `Option ]
type option_attrib = 
  [ `Class
  | `Dir
  | `Disabled
  | `Id
  | `Label
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Selected
  | `Style_Attr
  | `Title
  | `Value
  | `XML_lang
  | `XML_space ]
type option_content = [ `PCDATA ]
type select = [ `Select ]
type select_attrib = 
  [ `Class
  | `Dir
  | `Disabled
  | `Id
  | `Multiple
  | `Name
  | `OnBlur
  | `OnChange
  | `OnClick
  | `OnDblClick
  | `OnFocus
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Size
  | `Style_Attr
  | `Tabindex
  | `Title
  | `XML_lang
  | `XML_space ]
type select_content = [ `Optgroup | `Option ]
type textarea = [ `Textarea ]
type textarea_attrib = 
  [ `Accesskey
  | `Class
  | `Dir
  | `Disabled
  | `Id
  | `Name
  | `OnBlur
  | `OnChange
  | `OnClick
  | `OnDblClick
  | `OnFocus
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `OnSelect
  | `ReadOnly
  | `Style_Attr
  | `Tabindex
  | `Title
  | `XML_lang
  | `XML_space ]
type textarea_content = [ `PCDATA ]
type fieldset = [ `Fieldset ]
type fieldset_attrib = common
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
  | `Iframe
  | `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 legend = [ `Legend ]
type legend_attrib = 
  [ `Accesskey
  | `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `XML_lang
  | `XML_space ]
type legend_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 button = [ `Button ]
type button_attrib = 
  [ `Accesskey
  | `Button_Type
  | `Class
  | `Dir
  | `Disabled
  | `Id
  | `Name
  | `OnBlur
  | `OnClick
  | `OnDblClick
  | `OnFocus
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Tabindex
  | `Title
  | `Value
  | `XML_lang
  | `XML_space ]
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
  | `Iframe
  | `Img
  | `Ins
  | `Kbd
  | `Map
  | `Noscript
  | `Object
  | `Ol
  | `P
  | `PCDATA
  | `Pre
  | `Q
  | `Samp
  | `Script
  | `Small
  | `Span
  | `Strong
  | `Sub
  | `Sup
  | `Table
  | `Tt
  | `Ul
  | `Var ]
type caption = [ `Caption ]
type caption_attrib = common
type caption_content = 
  [ `A
  | `Abbr
  | `Acronym
  | `B
  | `Bdo
  | `Big
  | `Br
  | `Button
  | `Cite
  | `Code
  | `Del
  | `Dfn
  | `Em
  | `I
  | `Iframe
  | `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 td = [ `Td ]
type td_attrib = 
  [ `Abbr
  | `Align
  | `Axis
  | `Char
  | `Charoff
  | `Class
  | `Colspan
  | `Dir
  | `Headers
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Rowspan
  | `Scope
  | `Style_Attr
  | `Title
  | `Valign
  | `XML_lang
  | `XML_space ]
type td_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
  | `Iframe
  | `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 th = [ `Th ]
type th_attrib = 
  [ `Abbr
  | `Align
  | `Axis
  | `Char
  | `Charoff
  | `Class
  | `Colspan
  | `Dir
  | `Headers
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Rowspan
  | `Scope
  | `Style_Attr
  | `Title
  | `Valign
  | `XML_lang
  | `XML_space ]
type th_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
  | `Iframe
  | `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 tr = [ `Tr ]
type tr_attrib = 
  [ `Align
  | `Char
  | `Charoff
  | `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `Valign
  | `XML_lang
  | `XML_space ]
type tr_content = [ `Td | `Th ]
type col = [ `Col ]
type col_attrib = 
  [ `Align
  | `Char
  | `Charoff
  | `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Span
  | `Style_Attr
  | `Title
  | `Valign
  | `Width
  | `XML_lang
  | `XML_space ]
type col_content = notag
type colgroup = [ `Colgroup ]
type colgroup_attrib = 
  [ `Align
  | `Char
  | `Charoff
  | `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Span
  | `Style_Attr
  | `Title
  | `Valign
  | `Width
  | `XML_lang
  | `XML_space ]
type colgroup_content = [ `Col ]
type thead = [ `Thead ]
type thead_attrib = 
  [ `Align
  | `Char
  | `Charoff
  | `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `Valign
  | `XML_lang
  | `XML_space ]
type thead_content = [ `Tr ]
type tbody = [ `Tbody ]
type tbody_attrib = 
  [ `Align
  | `Char
  | `Charoff
  | `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `Valign
  | `XML_lang
  | `XML_space ]
type tbody_content = [ `Tr ]
type tfoot = [ `Tfoot ]
type tfoot_attrib = 
  [ `Align
  | `Char
  | `Charoff
  | `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `Valign
  | `XML_lang
  | `XML_space ]
type tfoot_content = [ `Tr ]
type img = [ `Img ]
type img_attrib = 
  [ `Class
  | `Dir
  | `Height
  | `Id
  | `Ismap
  | `Longdesc
  | `Name_01_00
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Style_Attr
  | `Title
  | `Usemap
  | `Width
  | `XML_lang
  | `XML_space ]
type img_content = notag
type object_ = [ `Object ]
type object__attrib = 
  [ `Archive
  | `Class
  | `Classid
  | `Codebase
  | `Codetype
  | `Data
  | `Declare
  | `Dir
  | `Height
  | `Id
  | `Name
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Standby
  | `Style_Attr
  | `Tabindex
  | `Title
  | `Type
  | `Usemap
  | `Width
  | `XML_lang
  | `XML_space ]
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
  | `Iframe
  | `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 param = [ `Param ]
type param_attrib = [ `Id | `Type | `Value | `Value_Type | `XMLns ]
type param_content = notag
type frameset = [ `Frameset ]
type frameset_attrib = 
  [ `Class
  | `FS_Cols
  | `FS_Rows
  | `Id
  | `OnLoad
  | `OnUnload
  | `Title
  | `XML_space ]
type frameset_content = [ `Frame | `Frameset ]
type frame = [ `Frame ]
type frame_attrib = 
  [ `Class
  | `Frameborder
  | `Id
  | `Longdesc
  | `Marginheight
  | `Marginwidth
  | `Name_01_00
  | `Noresize
  | `Scrolling
  | `Title
  | `XML_space ]
type frame_content = notag
type noframes = [ `Noframes ]
type noframes_attrib = common
type noframes_content = [ `Body ]
type iframe = [ `Iframe ]
type iframe_attrib = 
  [ `Class
  | `Frameborder
  | `Height
  | `Id
  | `Longdesc
  | `Marginheight
  | `Marginwidth
  | `Name_01_00
  | `Scrolling
  | `Src
  | `Title
  | `Width
  | `XML_space ]
type iframe_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
  | `Iframe
  | `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 meta = [ `Meta ]
type meta_attrib = [ `Dir | `Http_equiv | `Id | `Name | `Scheme | `XML_lang ]
type meta_content = notag
type style = [ `Style ]
type style_attrib = [ `Dir | `Id | `Media | `Title | `XML_lang | `XML_space | `XMLns ]
type style_content = [ `PCDATA ]
type base = [ `Base ]
type base_attrib = [ `Target | `XMLns ]
type base_content = notag
type rbc = [ `Rbc ]
type rbc_attrib = common
type rbc_content = [ `Rb ]
type rtc = [ `Rtc ]
type rtc_attrib = common
type rtc_content = [ `Rt ]
type rtc_complex = [ `Rtc ]
type rtc_complex_attrib = common
type rtc_complex_content = [ `Rt_complex ]
type rb = [ `Rb ]
type rb_attrib = common
type rb_content = no_ruby_content
type rt = [ `Rt ]
type rt_attrib = common
type rt_content = no_ruby_content
type rt_complex = [ `Rt ]
type rt_complex_attrib = 
  [ `Class
  | `Dir
  | `Id
  | `OnClick
  | `OnDblClick
  | `OnKeyDown
  | `OnKeyPress
  | `OnKeyUp
  | `OnMouseDown
  | `OnMouseMove
  | `OnMouseOut
  | `OnMouseOver
  | `OnMouseUp
  | `Rbspan
  | `Style_Attr
  | `Title
  | `XML_lang
  | `XML_space ]
type rt_complex_content = no_ruby_content
type rp = [ `Rp ]
type rp_attrib = common
type rp_content = [ `PCDATA ]