(* $Id: terms.mli 9822 2009-06-03 15:37:06Z tassi $ *)
+val set_reference_of_oxuri: (UriManager.uri -> NReference.reference) -> unit
+
module type NCicContext =
sig
val metasenv : NCic.metasenv
val context : NCic.context
end
-module NCicBlob(C : NCicContext) : Terms.Blob with type t = NCic.term
+module NCicBlob(C : NCicContext) : Terms.Blob
+with type t = NCic.term and type input = NCic.term