(* load_proof also returns the annotated cic term and the *)
(* ids_to_inner_types and ids_to_inner_sorts maps. *)
method load_proof :
(* load_proof also returns the annotated cic term and the *)
(* ids_to_inner_types and ids_to_inner_sorts maps. *)
method load_proof :
Cic.annobj * (Cic.id, Cic2acic.anntypes) Hashtbl.t *
(Cic.id, string) Hashtbl.t
Cic.annobj * (Cic.id, Cic2acic.anntypes) Hashtbl.t *
(Cic.id, string) Hashtbl.t