val nparamod : NCic.metasenv -> NCic.substitution -> NCic.context -> NCic.term -> unit