package forester

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Forester_core.SynSource

Sourcetype node =
  1. | Text of string
  2. | Verbatim of string
  3. | Group of Forester_core__.Base.delim * t
  4. | Math of Forester_core__.Base.math_mode * t
  5. | Transclude of t
  6. | Subtree of string option * tree
  7. | Query of t Query.t
  8. | Embed_tex of {
    1. preamble : t;
    2. source : t;
    }
  9. | Lam of Symbol.t list * t
  10. | Var of Symbol.t
  11. | Put of Symbol.t * t * t
  12. | Default of Symbol.t * t * t
  13. | Get of Symbol.t
  14. | If_tex of t * t
  15. | Xml_tag of Forester_core__.Base.xml_resolved_qname * (Forester_core__.Base.xml_resolved_qname * t) list * t
  16. | TeX_cs of TeX_cs.t
  17. | Prim of Prim.t * t
  18. | Object of {
    1. self : Symbol.t;
    2. methods : (string * t) list;
    }
  19. | Patch of {
    1. obj : t;
    2. self : Symbol.t;
    3. super : Symbol.t;
    4. methods : (string * t) list;
    }
  20. | Call of t * string
  21. | Ref of t
  22. | Title of t
  23. | Parent of string
  24. | Taxon of string
  25. | Meta of string * t
  26. | Author of string
  27. | Contributor of string
  28. | Tag of string
  29. | Date of string
  30. | Number of string
Sourceand tree = t