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