(* *)
(******************************************************************************)
-(* Useful only for fix_params *)
-val expect_possible_parameters : bool ref
-
val deannotate_term : Cic.annterm -> Cic.term
val deannotate_obj : Cic.annobj -> Cic.obj