package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

md5=e6fc311885219d11faae87be4918566d

sha512=9e262f964d36404228f3f82eab803be126be247507c774ce417ce2ef652a8a0220da3e6446f971725a8080ba98c9679fd77e87956155af19c21b2925b2195e90

Sourcetype node =

| Text of string
| Group of Core__.Base.delim * t
| Math of Core__.Base.math_mode * t
| Link of {
1. dest : t;
2. title : t option;
}
| Transclude of string
| Subtree of string option * tree
| Query of t Query.t
| Embed_tex of {
1. preamble : t;
2. source : t;
}
| Lam of Core__.Symbol.t list * t
| Var of Core__.Symbol.t
| Put of Core__.Symbol.t * t * t
| Default of Core__.Symbol.t * t * t
| Get of Core__.Symbol.t
| If_tex of t * t
| Xml_tag of Core__.Base.xml_resolved_qname * (Core__.Base.xml_resolved_qname * t) list * t
| Unresolved of string
| Prim of Prim.t * t
| Object of {
1. self : Core__.Symbol.t;
2. methods : (string * t) list;
}
| Patch of {
1. obj : t;
2. self : Core__.Symbol.t;
3. super : Core__.Symbol.t;
4. methods : (string * t) list;
}
| Call of t * string
| Ref of t
| Title of t
| Parent of string
| Taxon of string
| Meta of string * t
| Author of string
| Contributor of string
| Tag of string
| Date of string
| Number of string

Sourceand t = node Range.located list

Sourceand tree = t

val pp_node : 
  Ppx_deriving_runtime.Format.formatter ->
  node ->
  Ppx_deriving_runtime.unit

Sourceval show_node : node -> Ppx_deriving_runtime.string

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  tree ->
  Ppx_deriving_runtime.unit

Sourceval show : t -> Ppx_deriving_runtime.string

val pp_tree : 
  Ppx_deriving_runtime.Format.formatter ->
  tree ->
  Ppx_deriving_runtime.unit

Sourceval show_tree : tree -> Ppx_deriving_runtime.string