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: Gives alternate representations of the current document.
`Archives: Provides a link to a collection of records, documents, or other materials of historical interest.
`Author: Gives a link to the current document's author.
`Bookmark: Gives the permalink for the nearest ancestor section.
`Canonical: Gives the preferred location for accessing the current document.
`External: Indicates that the referenced document is not part of the same site as the current document.
`First: Indicates that the current document is a part of a series, and that the first document in the series is the referenced document.
`Help: Provides a link to context-sensitive help.
`Icon: Imports an icon to represent the current document.
`Index: Gives a link to the document that provides a table of contents or index listing the current document.
`Last: Indicates that the current document is a part of a series, and that the last document in the series is the referenced document.
`Licence: Indicates that the main content of the current document is covered by the copyright license described by the referenced document.
`Next: Indicates that the current document is a part of a series, and that the next document in the series is the referenced document.
`Nofollow: Indicates that the current document's original author or publisher does not endorse the referenced document.
`Noreferrer: Requires that the user agent not send an HTTP Referer (sic) header if the user follows the hyperlink.
`Noopener: Instructs the browser to open the link without granting the new browsing context access to the document that opened it.
`Pingback: Gives the address of the pingback server that handles pingbacks to the current document.
`Prefetch: Specifies that the target resource should be preemptively cached.
`Prev: Indicates that the current document is a part of a series, and that the previous document in the series is the referenced document.
`Search: Gives a link to a resource that can be used to search through the current document and its related pages.
`Stylesheet: Imports a stylesheet.
`Sidebar: Specifies that the referenced document, if retrieved, is intended to be shown in the browser's sidebar (if it has one).
`Tag: Gives a tag (identified by the given address) that applies to the current document.
`Up: Provides a link to a document giving the context for the current document.
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.
Script data can be the content of the "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.
type text = string
Arbitrary textual data, likely meant to be human-readable.
Transparent elements. Such elements have a part of they children in their data and behaves like them. We could do something like a: 'a elt list -> 'a elt but the information about the node name would be forgotten and would allow things like that : p [a [a []]]. This system allow to build non-conforming terms such as a [a []] but when passed to a standard element (such as p), it will yield an error. Exception to that : if you embdedd the element in another transparent (of an another kind) : p [noscript (a [a []])] will be correctly typed.
type+'a between_flow5_and_flow5_without_interactive_header_footer = [< flow5 Abbr Address Article Aside Audio B Bdo Blockquote Br Button Canvas Cite Code Command Datalist Del Dfn Div Dl Em Fieldset Figure Form H1 H2 H3 H4 H5 H6 Hgroup Hr I Img Input Ins Kbd Keygen Label Map Mark Menu Meter Nav Noscript Object Ol Output P PCDATA Pre Progress Q Ruby Samp Script Section Select Small Span Strong Style Sub Sup Svg Table Template Textarea Time U Ul Var Video Wbr ]as 'a
type(+'a, +'b) between_flow5_and_flow5_without_header_footer = [< core_flow5| ([< flow5_without_interactive ]as 'b, flow5_without_noscript, 'a, flow5_without_media)transparent A Abbr Address Article Aside Audio Audio_interactive B Bdo Blockquote Br Button Canvas Cite Code Command Datalist Del Details Dfn Div Dl Em Embed Fieldset Figure Form H1 H2 H3 H4 H5 H6 Hgroup Hr I Iframe Img Img_interactive Input Ins Kbd Keygen Label Map Mark Menu Meter Nav Noscript Object Object_interactive Ol Output P PCDATA Pre Progress Q Ruby Samp Script Section Select Small Span Strong Style Sub Sup Svg Table Template Textarea Time U Ul Var Video Video_interactive Wbr ]as 'a