Cic.context -> Cic.term -> Cic.term list * int
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: