[helm.git] / helm / software / components / ng_paramodulation / paramod.mli

val nparamod : 
  #NRstatus.status ->
  NCic.metasenv -> NCic.substitution -> NCic.context -> 
    (NCic.term * NCic.term) -> (NCic.term * NCic.term) list ->
     unit