+ (fun seq -> (new NCicPp.status)#ppmetasenv ~subst [seq]) *)
+
+let ntxt_of_cic_sequent ~metasenv ~subst
+ ~map_unicode_to_tex size status m =
+ let cseq = Interpretations.nmap_sequent status ~metasenv ~subst m in
+ let markup = CicNotationPres.render_sequent status cseq in
+ BoxPp.render_to_string ~map_unicode_to_tex (List.hd) size markup