val init:
ids_to_inner_sorts:(Cic.id, Cic2acic.sort_kind) Hashtbl.t ->
ids_to_inner_types:(Cic.id, Cic2acic.anntypes) Hashtbl.t ->
- ?depth:int -> Cic.context -> status
+ GrafiteAst.inline_param list-> Cic.context -> status
val proc_proof:
- status -> Cic.annterm ->
- ProceduralTypes.step list
-
-val proc_obj:
- ?flavour:Cic.object_flavour -> ?info:string -> status -> Cic.annobj ->
- ProceduralTypes.step list
+ status -> Cic.annterm -> ProceduralTypes.step list
val debug: bool ref