+
+val cic:
+ Cic.annterm -> Cic.term
+
+val occurs:
+ Cic.context -> what:Cic.term -> where:Cic.term -> bool
+
+val name_of_uri:
+ UriManager.uri -> int option -> int option -> string
+
+val cic_bc:
+ Cic.context -> Cic.term -> Cic.term
+
+val acic_bc:
+ Cic.context -> Cic.annterm -> Cic.annterm
+
+val is_acic_proof:
+ (Cic.id, Cic2acic.sort_kind) Hashtbl.t -> Cic.context -> Cic.annterm ->
+ bool
+
+val alpha:
+ ?flatten:bool -> Cic.context -> Cic.term -> Cic.term -> bool