(* *)
(**************************************************************************)
-val content2pres :
- ids_to_inner_sorts:(Cic.id, string) Hashtbl.t ->
- Cic.annterm Content.cobj -> Mpresentation.mpres Box.box
+val content2pres:
+ ids_to_inner_sorts:(Cic.id, Cic2acic.sort_kind) Hashtbl.t ->
+ Cic.annterm Content.cobj ->
+ CicNotationPres.boxml_markup
+