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