Module Axml_of_doc (.ml)

module Axml_of_doc: sig .. end

For translating parsed nmm source-code (an abstract syntax tree in the format specified by Doc_types) to an abstract syntax tree in the XML-format specified by axml.dtd.


val axml_of_tr_doc : Doc_types.tr_doc -> Xml.xml

axml_of_tr_doc doc evaluates to an object of the Xml-light type Xml.xml that is also an instance of the xml-schema axml.dtd.

Ideally, if axml is an object of the Xml-light type Xml.xml that is also an instance of axml.dtd, then axml_of_tr_doc (Doc_of_axml.f_tr_doc_of_axml axml) should evaluate to axml.

val normalize_axml : Xml.xml -> Xml.xml

Unites adjacent elements with tag cu_txt_unit_wysiwyg.