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 Core__.Base.transclusion_mode * string
  6. | EmbedTeX 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. | Import of Core__.Base.visibility * string
  15. | Def of string list * string list list * t
  16. | Alloc of string list
  17. | Title of t
  18. | Taxon of string
  19. | Meta of string * t
  20. | Author of string
  21. | Tag of string
  22. | TeXPackage of string
  23. | Date of string
  24. | 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