Types for the information collected in comments.
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.
type 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 *) |
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