(* $Id: terms.mli 9822 2009-06-03 15:37:06Z tassi $ *)
val set_reference_of_oxuri: (UriManager.uri -> NReference.reference) -> unit
(* $Id: terms.mli 9822 2009-06-03 15:37:06Z tassi $ *)
val set_reference_of_oxuri: (UriManager.uri -> NReference.reference) -> unit