exception Eof;;
-let current_uri = ref (UriManager.uri_of_string "cic:/dummy.con");;
+type uri =
+ ConUri of UriManager.uri
+ | VarUri of UriManager.uri
+ | IndTyUri of UriManager.uri * int
+ | IndConUri of UriManager.uri * int * int
+;;
+
+type interp_codomain =
+ Uri of uri
+ | Implicit
+;;
+
let binders = ref ([] : (Cic.name option) list);;
+let metasenv = ref ([] : Cic.metasenv);;