(* $Id: terms.mli 9822 2009-06-03 15:37:06Z tassi $ *)
+let reference_of_oxuri = ref (fun _ -> assert false);;
+let set_reference_of_oxuri f = reference_of_oxuri := f;;
+
module type NCicContext =
sig
val metasenv : NCic.metasenv
let eqP =
let r =
- OCic2NCic.reference_of_oxuri
+ !reference_of_oxuri
(UriManager.uri_of_string
"cic:/matita/logic/equality/eq.ind#xpointer(1/1)")
in