+let remove_closed_substs s =
+ Pcre.replace ~pat:"{...}" ~templ:"" s
+
+let term2pres n ids_to_inner_sorts annterm =
+ let ast, ids_to_uris =
+ TermAcicContent.ast_of_acic ids_to_inner_sorts annterm
+ in
+ let bobj =
+ CicNotationPres.box_of_mpres (
+ CicNotationPres.render ~prec:90 ids_to_uris
+ (TermContentPres.pp_ast ast)
+ )
+ in
+ let render = function _::x::_ -> x | _ -> assert false in
+ let mpres = CicNotationPres.mpres_of_box bobj in
+ let s = BoxPp.render_to_string render n mpres in
+ remove_closed_substs s
+