(* $Id: orderings.ml 9869 2009-06-11 22:52:38Z denes $ *)
+module NCicParamod(C : NCicBlob.NCicContext) : Paramod.Paramod
+with type t = NCic.term and type input = NCic.term
+
val nparamod :
#NRstatus.status ->
NCic.metasenv -> NCic.substitution -> NCic.context ->