Octavius.TypesTypes 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.
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 listtext 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