package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install 

dune-project
 Dependency

github.com Edit opam file Versions (17)

Authors

  1. J
    Jonathan Sterling

Maintainers

  1. J
    Jonathan Sterling

Sources

2.1.tar.gz
md5=31749867afa21e73376e229a8f664890
sha512=297e088801dcd263cb636a9526ad31f96e1090fea8eac7a8887c115d604bafe8aa3b44a18efb8027666f0f50b53c920269e79a1cf06abcb58918643a4e18bba1

doc/forester.core/Core/Code/index.html

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