let current_uri = ref (UriManager.uri_of_string "cic:/dummy.con");;
let binders = ref ([] : (Cic.name option) list);;
let metasenv = ref ([] : Cic.metasenv);;
let current_uri = ref (UriManager.uri_of_string "cic:/dummy.con");;
let binders = ref ([] : (Cic.name option) list);;
let metasenv = ref ([] : Cic.metasenv);;