Module Compiler_of_doc (.ml)

module Compiler_of_doc: sig .. end

For compiling parsed nmm source-code (an abstract syntax tree in the format specified by Doc_types) into raw text and XML (in the format specified by exml.dtd) with resolved cross-references and labels.

exception Error of string

val txt_of_tr_doc : Common_utils.t_txt_options -> Doc_types.tr_doc -> string

Implements the raw text semantics for no-markup-markup.

val exml_of_tr_doc : Common_utils.t_exml_options -> Doc_types.tr_doc -> Xml.xml

exml_of_tr_doc options doc evaluates to an object of the Xml-light type Xml.xml that is also an instance of the xml-schema exml.dtd.

Html_utils.html_of_exml can translate that object into the body of an html-document.

val margin_labels_of_tr_doc : Common_utils.t_doc_settings -> Doc_types.tr_doc -> string list

For determining the size of the left margin.

val cref_table_of_tr_doc : Common_utils.t_doc_settings -> Doc_types.tr_doc -> Common_utils.t_cref_table

val nte_table_of_tr_doc : Common_utils.t_doc_settings ->
       Common_utils.t_cref_table -> Doc_types.tr_doc -> Common_utils.t_nte_table