package forester
Module Forester_core.SynSource
Source
type node = | Text of string| Verbatim of string| Group of Base.delim * t| Math of Base.math_mode * t| Link of {}| Subtree of string option * tree| Fun of Symbol.t Base.binding list * t| Var of Symbol.t| Sym of Symbol.t| Put of t * t * t| Default of t * t * t| Get of t| Xml_tag of Base.xml_resolved_qname * (Base.xml_resolved_qname * t) list * t| TeX_cs of TeX_cs.t| Prim of Prim.t| Object of {}| Patch of {}| Call of t * string| Query_polarity of Query.polarity| Query_mode of Query.mode| Query_tree| Query_rel| Query_isect| Query_union| Query_compl| Query_isect_fam| Query_union_fam| Query_isect_fam_rel| Query_union_fam_rel| Query_builtin of [ `Taxon | `Author | `Tag ]| Transclude| Embed_tex| Ref| Title| Parent| Taxon| Meta| Author| Contributor| Tag| Date| Number