val acic2procedural:
ids_to_inner_sorts:(Cic.id, Cic2acic.sort_kind) Hashtbl.t ->
ids_to_inner_types:(Cic.id, Cic2acic.anntypes) Hashtbl.t ->
- ?depth:int -> ?skip_thm_and_qed:bool -> ?skip_initial_lambdas:bool ->
+ ?depth:int -> ?skip_thm_and_qed:bool ->
string -> Cic.annobj ->
(Cic.annterm, Cic.annterm,
Cic.annterm GrafiteAst.reduction, Cic.annterm CicNotationPt.obj, string)