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