*)
val annobj2content :
- ids_to_inner_sorts:(string, string) Hashtbl.t ->
- ids_to_inner_types:(string, Cic2acic.anntypes) Hashtbl.t ->
+ ids_to_inner_sorts:(Cic.id, Cic2acic.sort_kind) Hashtbl.t ->
+ ids_to_inner_types:(Cic.id, Cic2acic.anntypes) Hashtbl.t ->
Cic.annobj ->
- Cic.annterm Content.cobj
+ Cic.annterm Content.cobj
+
+val map_sequent :
+ Cic.annconjecture -> Cic.annterm Content.conjecture