package forester

  1. Overview
  2. Docs

Module Core.CodeSource

Sourcetype node =
  1. | Text of string
  2. | Group of Core__.Base.delim * t
  3. | Math of Core__.Base.math_mode * t
  4. | Ident of string list
  5. | Transclude of string
  6. | Embed_tex of t
  7. | Let of string list * string list list * t
  8. | Open of string list
  9. | Block of t * t
  10. | Scope of t
  11. | Put of string list * t
  12. | Default of string list * t
  13. | Get of string list
  14. | If_tex of t * t
  15. | Query of t Query.t
  16. | Import of Core__.Base.visibility * string
  17. | Def of string list * string list list * t
  18. | Alloc of string list
  19. | Title of t
  20. | Taxon of string
  21. | Meta of string * t
  22. | Author of string
  23. | Tag of string
  24. | TeX_package of string
  25. | Date of string
  26. | Namespace of string list * t
Sourceand t = node list
Sourcetype doc = t
Sourceval import_private : string -> node
Sourceval import_public : string -> node
Sourceval inline_math : t -> node
Sourceval display_math : t -> node
Sourceval parens : t -> node
Sourceval squares : t -> node
Sourceval braces : t -> node