module type T_01_01 = T
An alias for XHTML 1.1 (for symmetry):'a elt
,
where 'a
is a concrete phantom type build out of polymorphic variants.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.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
typecdata =
string
typeid =
string
typeidref =
string
typeidrefs =
idref list
typename =
string
typenmtoken =
string
typenmtokens =
nmtoken list
typepcdata =
string
typecharacter =
char
typecharset =
string
typecharsets =
charset list
typecolor =
[ `Aqua
| `Black
| `Blue
| `Fuchsia
| `Gray
| `Green
| `Hex of string
| `Lime
| `Maroon
| `Navy
| `Olive
| `Purple
| `RGB of int * int * int
| `Red
| `Silver
| `Teal
| `White
| `Yellow ]
color
refers to color definitions as specified in
SRGB. A color value may either be a hexadecimal number (prefixed by a hash mark)
or one of the following sixteen color names. The color names are case-insensitive.typecontenttype =
string
typecontenttypes =
contenttype list
typecoords =
string list
typedatetime =
string
typefpi =
string
typeframetarget =
string
typelanguagecode =
string
typelength =
[ `Percent of int | `Pixels of int ]
`Percent 50
means half of
the available space.typelinktypes =
[ `Alternate
| `Appendix
| `Bookmark
| `Chapter
| `Contents
| `Copyright
| `Glossary
| `Help
| `Index
| `Next
| `Prev
| `Section
| `Start
| `Stylesheet
| `Subsection ] list
"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.typemediadesc =
[ `All
| `Aural
| `Braille
| `Handheld
| `Projection
| `Screen
| `TTY
| `TV ] list
`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:
media="screen, 3d-glasses, print and resolution > 90dpi"
is mapped to: "screen"
, "3d-glasses"
,
"print and resolution > 90dpi"
.[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"
."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"
.
typemultilength =
[ `Percent of int | `Pixels of int | `Relative of int ]
"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.typemultilengths =
multilength list
typenumber =
int
typepixels =
int
"50"
means fifty
pixels. For normative information about the definition of a pixel,
please consult CSS2.typescript =
string
"script"
element and the
value of intrinsic event attributes. User agents must not evaluate
script data as HTML markup but instead must pass it on as data to a
script engine.
The case-sensitivity of script data depends on the scripting language.
Please note that script data that is element content may not
contain character references, but script data that is the value of
an attribute may contain them.
typeshape =
string
typetext =
string
typeuri =
string
typeuris =
uri
type 'a
attrib
type 'a
attribs
'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.
typecore =
[ `Class | `Id | `Title ]
val a_class : nmtokens -> [> `Class ] attrib
val a_id : id -> [> `Id ] attrib
val a_title : cdata -> [> `Title ] attrib
link
element to designate an external style sheet. Please consult the
section on links and style sheets for details.typei18n =
[ `XML_lang ]
val a_xml_lang : nmtoken -> [> `XML_lang ] attrib
typecommon =
[ `Class | `Id | `Title | `XML_lang ]
module STRUCTURE:sig
..end
val a_profile : uri -> [> `Profile ] attrib
val a_version : cdata -> [> `Version ] attrib
val a_xmlns : [< `W3_org_1999_xhtml ] -> [> `XMLns ] attrib
module TEXT:sig
..end
val a_cite : uri -> [> `Cite ] attrib
val a_xml_space : [< `Preserve ] -> [> `XML_space ] attrib
module HYPERTEXT:sig
..end
val a_accesskey : character -> [> `Accesskey ] attrib
val a_charset : charset -> [> `Charset ] attrib
val a_href : uri -> [> `Href ] attrib
val a_hreflang : languagecode -> [> `Hreflang ] attrib
val a_rel : linktypes -> [> `Rel ] attrib
val a_rev : linktypes -> [> `Rev ] attrib
val a_tabindex : number -> [> `Tabindex ] attrib
val a_type : contenttype -> [> `Type ] attrib
module LIST:sig
..end
module PRESENTATION:sig
..end
module FORMS:sig
..end
val a_action : uri -> [> `Action ] attrib
val a_checked : [< `Checked ] -> [> `Checked ] attrib
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 : number -> [> `Cols ] attrib
val a_enctype : contenttype -> [> `Enctype ] attrib
val a_for : idref -> [> `For ] attrib
val a_maxlength : number -> [> `Maxlength ] attrib
val a_method : [< `Get | `Post ] -> [> `Method ] attrib
val a_multiple : [< `Multiple ] -> [> `Multiple ] attrib
val a_name : cdata -> [> `Name ] attrib
val a_rows : number -> [> `Rows ] attrib
val a_selected : [< `Selected ] -> [> `Selected ] attrib
val a_size : number -> [> `Size ] attrib
val a_src : uri -> [> `Src ] attrib
val a_input_type : [< `Checkbox | `Hidden | `Password | `Radio | `Reset | `Submit | `Text ] ->
[> `Input_Type ] attrib
val a_value : cdata -> [> `Value ] attrib
option
element.module TABLES:sig
..end
val a_abbr : text -> [> `Abbr ] attrib
val a_align : [< `Center | `Char | `Justify | `Left | `Right ] ->
[> `Align ] attrib
val a_axis : cdata -> [> `Axis ] attrib
val a_colspan : number -> [> `Colspan ] attrib
val a_headers : idrefs -> [> `Headers ] attrib
val a_rowspan : number -> [> `Rowspan ] attrib
val a_scope : [< `Col | `Colgroup | `Row | `Rowgroup ] -> [> `Scope ] attrib
val a_summary : text -> [> `Summary ] attrib
val a_valign : [< `Baseline | `Bottom | `Middle | `Top ] -> [> `Valign ] attrib
val a_border : pixels -> [> `Border ] attrib
val a_cellpadding : length -> [> `Cellpadding ] attrib
val a_cellspacing : length -> [> `Cellspacing ] attrib
val a_datapagesize : cdata -> [> `Datapagesize ] attrib
val a_frame : [< `Above | `Below | `Border | `Box | `Hsides | `LHS | `RHS | `Void | `Vsides ] ->
[> `Frame ] attrib
val a_rules : [< `All | `Cols | `Groups | `None | `Rows ] -> [> `Rules ] attrib
val a_char : character -> [> `Char ] attrib
val a_charoff : length -> [> `Charoff ] attrib
module IMAGE:sig
..end
val a_alt : text -> [> `Alt ] attrib
val a_height : length -> [> `Height ] attrib
val a_longdesc : uri -> [> `Longdesc ] attrib
val a_width : length -> [> `Width ] attrib
val a_fs_rows : multilengths -> [> `FS_Rows ] attrib
val a_fs_cols : multilengths -> [> `FS_Cols ] attrib
val a_frameborder : [< `One | `Zero ] -> [> `Frameborder ] attrib
val a_marginheight : pixels -> [> `Marginheight ] attrib
val a_marginwidth : pixels -> [> `Marginwidth ] attrib
val a_noresize : [< `Noresize ] -> [> `Noresize ] attrib
val a_scrolling : [< `Auto | `No | `Yes ] -> [> `Scrolling ] attrib
val a_target : frametarget -> [> `Target ] attrib
module METAINFORMATION:sig
..end
val a_content : cdata -> [> `Content ] attrib
val a_http_equiv : nmtoken -> [> `Http_equiv ] attrib
val a_scheme : cdata -> [> `Scheme ] attrib
module STYLE_SHEET:sig
..end
val a_media : mediadesc -> [> `Media ] attrib
module LINK:sig
..end
module BASE:sig
..end
`Name_01_00
.typeblock =
[ `Address | `Blockquote | `Div | `Form | `Hr | `P | `Pre | `Table ]
typeblock_sans_form =
[ `Address | `Blockquote | `Div | `Hr | `P | `Pre | `Table ]
typeflow =
[ `A
| `Abbr
| `Acronym
| `Address
| `Blockquote
| `Br
| `Cite
| `Code
| `Dfn
| `Div
| `Dl
| `Em
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Input
| `Kbd
| `Label
| `Ol
| `P
| `Pre
| `Q
| `Samp
| `Select
| `Span
| `Strong
| `Table
| `Textarea
| `Ul
| `Var ]
typeflow_sans_table =
[ `A
| `Abbr
| `Acronym
| `Address
| `Blockquote
| `Br
| `Cite
| `Code
| `Dfn
| `Div
| `Dl
| `Em
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Input
| `Kbd
| `Label
| `Ol
| `P
| `Pre
| `Q
| `Samp
| `Select
| `Span
| `Strong
| `Textarea
| `Ul
| `Var ]
typeinline =
[ `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ]
typeinline_sans_a =
[ `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ]
typeinline_sans_label =
[ `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ]
typeheading =
TEXT.heading
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)
star =?a:'a attrib list -> 'b elt list -> 'c elt
type('a, 'b, 'c)
plus =?a:'a attrib list ->
'b elt -> 'b elt list -> 'c elt
typehtml =
[ `Html ] elt
val html : ?a:[< `Version | `XML_lang | `XMLns ] attrib list ->
[< `Head ] elt -> [< `Body | `Frameset ] elt -> html
val head : ([< `Profile | `XML_lang ], [< `Base | `Link | `Meta | `Style | `Title ],
[> `Head ])
plus
val title : ([< i18n ], [< `PCDATA ], [> `Title ]) unary
val body : ([< common ],
[< `Address
| `Blockquote
| `Div
| `Dl
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Hr
| `Ol
| `P
| `Pre
| `Table
| `Ul ],
[> `Body ])
star
val pcdata : string -> [> `PCDATA ] elt
val entity : string -> [> `PCDATA ] elt
val space : unit -> [> `PCDATA ] elt
val h1 : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `H1 ])
star
val h2 : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `H2 ])
star
val h3 : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `H3 ])
star
val h4 : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `H4 ])
star
val h5 : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `H5 ])
star
val h6 : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `H6 ])
star
val address : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Address ])
star
val blockquote : ([< `Cite | `Class | `Id | `Title | `XML_lang ],
[< `Address
| `Blockquote
| `Div
| `Dl
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Hr
| `Ol
| `P
| `PCDATA
| `Pre
| `Table
| `Ul ],
[> `Blockquote ])
star
val div : ([< common ],
[< `A
| `Abbr
| `Acronym
| `Address
| `Blockquote
| `Br
| `Cite
| `Code
| `Dfn
| `Div
| `Dl
| `Em
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Input
| `Kbd
| `Label
| `Ol
| `P
| `PCDATA
| `Pre
| `Q
| `Samp
| `Select
| `Span
| `Strong
| `Table
| `Textarea
| `Ul
| `Var ],
[> `Div ])
star
val p : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `P ])
star
val pre : ([< `Class | `Id | `Title | `XML_lang | `XML_space ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Pre ])
star
val abbr : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Abbr ])
star
val acronym : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Acronym ])
star
val br : ([< core ], [> `Br ]) nullary
val cite : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Cite ])
star
val code : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Code ])
star
val dfn : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Dfn ])
star
val em : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Em ])
star
val kbd : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Kbd ])
star
val q : ([< `Cite | `Class | `Id | `Title | `XML_lang ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Q ])
star
val samp : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Samp ])
star
val span : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Span ])
star
val strong : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Strong ])
star
val a : ([< `Accesskey
| `Charset
| `Class
| `Href
| `Hreflang
| `Id
| `Name_01_00
| `Rel
| `Rev
| `Tabindex
| `Target
| `Title
| `Type
| `XML_lang ],
[< `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `A ])
star
val dl : ([< common ], [< `Dd | `Dt ], [> `Dl ]) plus
val ol : ([< common ], [< `Li ], [> `Ol ]) plus
val ul : ([< common ], [< `Li ], [> `Ul ]) plus
val dd : ([< common ],
[< `A
| `Abbr
| `Acronym
| `Address
| `Blockquote
| `Br
| `Cite
| `Code
| `Dfn
| `Div
| `Dl
| `Em
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Input
| `Kbd
| `Label
| `Ol
| `P
| `PCDATA
| `Pre
| `Q
| `Samp
| `Select
| `Span
| `Strong
| `Table
| `Textarea
| `Ul
| `Var ],
[> `Dd ])
star
val dt : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Dt ])
star
val li : ([< common ],
[< `A
| `Abbr
| `Acronym
| `Address
| `Blockquote
| `Br
| `Cite
| `Code
| `Dfn
| `Div
| `Dl
| `Em
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Input
| `Kbd
| `Label
| `Ol
| `P
| `PCDATA
| `Pre
| `Q
| `Samp
| `Select
| `Span
| `Strong
| `Table
| `Textarea
| `Ul
| `Var ],
[> `Li ])
star
val hr : ([< common ], [> `Hr ]) nullary
val b : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `B ])
star
val big : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Big ])
star
val i : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `I ])
star
val small : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Small ])
star
val sub : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Sub ])
star
val sup : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Sup ])
star
val tt : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Tt ])
star
open Basic_Forms
to enable basic forms.module Basic_Forms:sig
..end
open Basic_Forms
to enable basic forms.open Basic_Tables
to switch globally to basic tables.module Basic_Tables:sig
..end
val caption : ([< common ],
[< `A
| `Abbr
| `Acronym
| `B
| `Big
| `Br
| `Cite
| `Code
| `Dfn
| `Em
| `I
| `Img
| `Input
| `Kbd
| `Label
| `PCDATA
| `Q
| `Samp
| `Select
| `Small
| `Span
| `Strong
| `Sub
| `Sup
| `Textarea
| `Tt
| `Var ],
[> `Caption ])
star
val table : ?caption:[< `Caption ] elt ->
?columns:[< `Colgroups of [< `Colgroup ] elt list
| `Cols of [< `Col ] elt list ] ->
([< `Border
| `Cellpadding
| `Cellspacing
| `Class
| `Datapagesize
| `Frame
| `Id
| `Rules
| `Summary
| `Title
| `Width
| `XML_lang ],
[< `Tr ], [> `Table ])
plus
val tablex : ?caption:[< `Caption ] elt ->
?columns:[< `Colgroups of [< `Colgroup ] elt list
| `Cols of [< `Col ] elt list ] ->
?thead:[< `Thead ] elt ->
?tfoot:[< `Tfoot ] elt ->
([< `Border
| `Cellpadding
| `Cellspacing
| `Class
| `Datapagesize
| `Frame
| `Id
| `Rules
| `Summary
| `Title
| `Width
| `XML_lang ],
[< `Tbody ], [> `Table ])
plus
val td : ([< `Abbr
| `Align
| `Axis
| `Char
| `Charoff
| `Class
| `Colspan
| `Headers
| `Id
| `Rowspan
| `Scope
| `Title
| `Valign
| `XML_lang ],
[< `A
| `Abbr
| `Acronym
| `Address
| `Blockquote
| `Br
| `Cite
| `Code
| `Dfn
| `Div
| `Dl
| `Em
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Input
| `Kbd
| `Label
| `Ol
| `P
| `PCDATA
| `Pre
| `Q
| `Samp
| `Select
| `Span
| `Strong
| `Table
| `Textarea
| `Ul
| `Var ],
[> `Td ])
star
val th : ([< `Abbr
| `Align
| `Axis
| `Char
| `Charoff
| `Class
| `Colspan
| `Headers
| `Id
| `Rowspan
| `Scope
| `Title
| `Valign
| `XML_lang ],
[< `A
| `Abbr
| `Acronym
| `Address
| `Blockquote
| `Br
| `Cite
| `Code
| `Dfn
| `Div
| `Dl
| `Em
| `Form
| `H1
| `H2
| `H3
| `H4
| `H5
| `H6
| `Input
| `Kbd
| `Label
| `Ol
| `P
| `PCDATA
| `Pre
| `Q
| `Samp
| `Select
| `Span
| `Strong
| `Table
| `Textarea
| `Ul
| `Var ],
[> `Th ])
star
val tr : ([< `Align | `Char | `Charoff | `Class | `Id | `Title | `Valign | `XML_lang ],
[< `Td | `Th ], [> `Tr ])
plus
val col : ([< `Align
| `Char
| `Charoff
| `Class
| `Id
| `Span
| `Title
| `Valign
| `Width
| `XML_lang ],
[> `Col ])
nullary
val colgroup : ([< `Align
| `Char
| `Charoff
| `Class
| `Id
| `Span
| `Title
| `Valign
| `Width
| `XML_lang ],
[< `Col ], [> `Colgroup ])
star
val thead : ([< `Align | `Char | `Charoff | `Class | `Id | `Title | `Valign | `XML_lang ],
[< `Tr ], [> `Thead ])
plus
val tbody : ([< `Align | `Char | `Charoff | `Class | `Id | `Title | `Valign | `XML_lang ],
[< `Tr ], [> `Tbody ])
plus
val tfoot : ([< `Align | `Char | `Charoff | `Class | `Id | `Title | `Valign | `XML_lang ],
[< `Tr ], [> `Tfoot ])
plus
val img : src:uri ->
alt:text ->
([< `Class
| `Height
| `Id
| `Longdesc
| `Name_01_00
| `Title
| `Width
| `XML_lang ],
[> `Img ])
nullary
val frameset : ?noframes:[< `Noframes ] elt ->
([< `Class | `FS_Cols | `FS_Rows | `Id | `Title ], [< `Frame | `Frameset ],
[> `Frameset ])
plus
val frame : src:uri ->
([< `Class
| `Frameborder
| `Id
| `Longdesc
| `Marginheight
| `Marginwidth
| `Name_01_00
| `Noresize
| `Scrolling
| `Title ],
[> `Frame ])
nullary
val noframes : ([< common ], [< `Body ], [> `Noframes ]) unary
val meta : content:cdata ->
([< `Http_equiv | `Name | `Scheme | `XML_lang ], [> `Meta ]) nullary
val style : contenttype:contenttype ->
([< `Media | `Title | `XML_lang | `XML_space ], [< `PCDATA ], [> `Style ])
star
val link : ([< `Charset
| `Class
| `Href
| `Hreflang
| `Id
| `Media
| `Rel
| `Rev
| `Target
| `Title
| `Type
| `XML_lang ],
[> `Link ])
nullary
val base : href:uri -> unit -> [> `Base ] elt
?encode
maps strings to HTML and must encode the unsafe characters
'<'
, '>'
, '"'
, '&'
and the control characters 0-8, 11-12, 14-31, 127
to HTML entities. XML.encode_unsafe
is the default for ?encode
in output
and pretty_print
below. Other implementations are provided by the module
Netencoding
in the
OcamlNet library, e.g.:
let encode = Netencoding.Html.encode ~in_enc:`Enc_iso88591 ~out_enc:`Enc_usascii ()
,
Where national characters are replaced by HTML entities.
The user is of course free to write her own implementation.~encoding
is the official name of the external character set encoding that
is used by outs : string -> unit
.val output : ?encode:(string -> string) ->
?encoding:string -> (string -> unit) -> html -> unit
val pretty_print : ?width:int ->
?encode:(string -> string) ->
?encoding:string -> (string -> unit) -> html -> unit
val version : string
val standard : uri
val validator : uri
val validator_icon : unit -> [> `A ] elt
val addto_class : string -> 'a elt -> 'a elt
val addto_class1 : string -> 'a elt -> 'a elt
val set_rowspan : int -> ([< `Td | `Th ] as 'a) elt -> 'a elt
val rewrite_hrefs : (string -> string) -> 'a elt -> 'a elt
val all_hrefs : 'a elt -> uri list
val all_anchors : 'a elt -> id list