let current_uri = ref (UriManager.uri_of_string "cic:/dummy.con");;
let binders = ref ([] : (Cic.name option) list);;
let metasenv = ref ([] : Cic.metasenv);;
+let locate_object = ref ((fun _ -> None):string->Cic.term option);;
+
+let set_locate_object f =
+ locate_object := f