type style_kind =
| SK_bold |
| SK_italic |
| SK_emphasize |
| SK_center |
| SK_left |
| SK_right |
| SK_superscript |
| SK_subscript |
| SK_custom of string |
The differents kinds of style.
type ref_kind =
| RK_element |
| RK_module |
| RK_module_type |
| RK_class |
| RK_class_type |
| RK_value |
| RK_type |
| RK_exception |
| RK_attribute |
| RK_method |
| RK_section |
| RK_recfield |
| RK_const |
| RK_link |
| RK_custom of string |
The differents kinds of element references.
and text_element =
| Raw of string | Raw text. |
| Code of string | The string is source code. |
| PreCode of string | The string is pre-formatted source code. |
| Verbatim of string | String 'as is'. |
| Style of style_kind * text | Text tagged with a style. |
| List of text list | A list. |
| Enum of text list | An enumerated list. |
| Newline | To force a line break. |
| Title of int * string option * text | Style number, optional label, and text. |
| Ref of ref_kind * string * text option | A reference to an element. Complete name and kind. An optional text can be given to display this text instead of the element name. |
| Special_ref of special_ref_kind | Special kinds of reference |
| Target of string option * string | (target, code) : to specify code for a specific target format |
and text = text_element list
text
is a list of text_elements. The order matters.
The different forms of references in @see tags.
type tag =
| Author of string | @author tag |
| Version of string | @version tag |
| See of see_ref * text | @see tag |
| Since of string | @since tag |
| Before of string * text | @before tag |
| Deprecated of text | @deprecated tag |
| Param of string * text | @param tag |
| Raised_exception of string * text | @raise tag |
| Return_value of text | @return tag |
| Inline | @inline tag |
| Custom of string * text | custom tag |
| Canonical of string | @canonical tag |
Tags