(***************************************************************************)
val sequent2pres :
-ids_to_inner_sorts:(Cic.id, string) Hashtbl.t ->
- Cic.annterm Content.conjecture -> Mpresentation.mpres
-
+ ids_to_inner_sorts:(Cic.id, string) Hashtbl.t ->
+ Cic.annterm Content.conjecture ->
+ Mpresentation.mpres Box.box