-let nmml_of_cic_sequent status metasenv subst sequent =
- let content_sequent,ids_to_refs =
- NTermCicContent.nmap_sequent status ~metasenv ~subst sequent in
- let pres_sequent =
- Sequent2pres.nsequent2pres ids_to_refs subst content_sequent in
- let xmlpres = mpres_document pres_sequent in
- Xml2Gdome.document_of_xml DomMisc.domImpl xmlpres
-