+val nobj2pres:
+ #TermContentPres.status ->
+ ids_to_nrefs:(Content.id, NReference.reference) Hashtbl.t ->
+ NotationPt.term Content.cobj -> CicNotationPres.boxml_markup
+
+val nsequent2pres :
+ #TermContentPres.status ->
+ ids_to_nrefs:(Content.id, NReference.reference) Hashtbl.t ->
+ NotationPt.term Content.conjecture -> CicNotationPres.boxml_markup