Previous  Up  Next

Module Doc_of_axml (.ml)

module Doc_of_axml: sig .. end

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

exception Error of string
val f_tr_doc_of_axml : Xml.xml -> Doc_types.tr_doc

If axml is an object of the Xml-light type Xml.xml that is also an instance of the xml-schema axml.dtd, then f_tr_doc_of_axml axml evaluates to an object of type Doc_types.tr_doc. Otherwise it raises an error.

Ideally, if doc is an object of type Doc_types.tr_doc, then f_tr_doc_of_axml (Axml_of_doc.axml_of_tr_doc doc) should evaluate to doc.