| IndConUri of UriManager.uri * int * int
;;
-type interp_codomain =
+type interpretation_domain_item =
+ Id of string
+ | Symbol of string * (string * (interpretation -> Cic.term)) list
+and interpretation_codomain_item =
Uri of uri
| Implicit
+ | Term of (interpretation -> Cic.term)
+and interpretation =
+ interpretation_domain_item -> interpretation_codomain_item option
;;
let binders = ref ([] : (Cic.name option) list);;