*)
exception NotEnoughElements
-exception NameExpected
val source_id_of_id : string -> string
Cic.annterm (* annotated term *)
val acic_object_of_cic_object :
+ ?eta_fix: bool -> (* perform eta_fixing; default: true*)
Cic.obj -> (* object *)
Cic.annobj * (* annotated object *)
(Cic.id, Cic.term) Hashtbl.t * (* ids_to_terms *)