let axml_of_doc (doc : Doc_types.tr_doc) : string = "<?xml version=\"1.0\"?>\n" ^ (Xml_right.to_string_fmt (Axml_of_doc.normalize_axml (Axml_of_doc.axml_of_tr_doc doc)))