+let nsequent2pres ~ids_to_nrefs ~subst =
+ let lookup_uri id =
+ try
+ let nref = Hashtbl.find ids_to_nrefs id in
+ Some (NReference.string_of_reference nref)
+ with Not_found -> None
+ in
+ sequent2pres0
+ (fun ast ->
+ CicNotationPres.box_of_mpres
+ (CicNotationPres.render ~lookup_uri
+ (TermContentPres.pp_ast ast)))