package forester
Module Forester_core.Xml_treeSource
Source
type xml_qname = {prefix : string;(*The prefix to a qualified XML name; this prefix is expected to be rendered in the scope of a corresponding
*)xmlnsbinding.uname : string;(*The unqualified part of the XML name.
*)xmlns : string option;(*The XML namespace bound by the current scope to
*)prefix. This is not used when serialising to XML, but can be helpful for other analyses.
}Source
type ('content, 'tree) content_node = | Text of string| CDATA of string| Xml_tag of 'content xml_tag| Prim of Prim.t * 'content| Subtree of 'tree| Ref of ref| Local_link of 'content local_link| External_link of 'content external_link| TeX of tex| Img of img| Embedded_tex of embedded_tex| Info of string
Source
type 'content frontmatter = {title : 'content option;title_text : string option;anchor : string option;number : string option;taxon : string option;designated_parent : string option;metas : 'content meta list;addr : Base.addr option;source_path : string option;dates : date list;last_changed : date option;attributions : 'content attribution list;
}Source
type 'content tree = {options : tree_options;frontmatter : 'content frontmatter;mainmatter : 'content;backmatter : 'content tree list;
}