Module Odoc_latex.TypesSource

Sourcetype break_hierarchy =
  1. | Aesthetic
  2. | Simple
  3. | Line
  4. | Paragraph
  5. | Separation
Sourcetype row_size =
  1. | Empty
  2. | Small
    (*

    text only

    *)
  3. | Large
    (*

    No table

    *)
  4. | Huge
    (*

    tables *

    *)
Sourcetype elt =
  1. | Txt of string list
  2. | Section of section
  3. | Verbatim of string
  4. | Internal_ref of reference
  5. | External_ref of string * t option
  6. | Label of string
  7. | Raw of string
  8. | Tag of string * t
  9. | Style of [ `Emphasis | `Bold | `Superscript | `Subscript | `Italic ] * t
  10. | Code_block of t
  11. | Inlined_code of t
  12. | Code_fragment of t
  13. | Break of break_hierarchy
  14. | List of list_info
  15. | Description of (t * t) list
  16. | Indented of t
  17. | Layout_table of layout_table
  18. | Table of table
  19. | Ligaturable of string
Sourceand section = {
  1. level : int;
  2. label : string option;
  3. content : t;
}
Sourceand list_info = {
  1. typ : Odoc_document.Types.Block.list_type;
  2. items : t list;
}
Sourceand layout_table = {
  1. row_size : row_size;
  2. tbl : t list list;
}
Sourceand table = {
  1. align : alignment list;
  2. data : t list list;
}
Sourceand t = elt list
Sourceand reference = {
  1. short : bool;
  2. target : string;
  3. text : t option;
}