package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

dune-project

Dependency

md5=1781b3d67f7ff4edaeb5cfdedba46b9e

sha512=879a583fd3ddf1cf44039fbe9a1d7280e9cc9cc0340506561dc8c6bb6b792db7c512a682d4d09d6c6b0b3b14940665573c9d94580c9ce0a87ee05822fbe4c229

Sourcetype node =

| Text of string
| Group of Core__.Base.delim * t
| Math of Core__.Base.math_mode * t
| Ident of string list * string list
| Xml_tag of string option * string * ((string option * string) * t) list * t
| Transclude of string
| Subtree of string option * t
| Embed_tex of t * t
| Let of string list * string list list * t
| Open of string list
| Scope of t
| Put of string list * t
| Default of string list * t
| Get of string list
| If_tex of t * t
| Prim of Prim.t * t
| Ref of t
| Object of {
1. self : string list option;
2. methods : (string * t) list;
}
| Patch of {
1. obj : t;
2. self : string list option;
3. methods : (string * t) list;
}
| Call of t * string
| Query of t Query.t
| Import of Core__.Base.visibility * string
| Def of string list * string list list * t
| Decl_xmlns of string * string
| Alloc of string list
| Namespace of string list * t
| Title of t
| Taxon of string
| Meta of string * t
| Author of string
| Contributor of string
| Tag of string
| Date of string
| Parent of string
| Number of string

Sourceand t = node Range.located list

Sourceand tree = {

}

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 ->
  t ->
  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

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