Module Cp


module Cp: sig .. end

Critical pairs



val add_cps : (Term.term -> Term.term) ->
Equation.EqnSet.t -> Rule.RulSet.t -> Equation.EqnSet.t
Critical pairs of a set of rules
val cps : (Term.term -> Term.term) -> Rule.RulSet.t -> Equation.EqnSet.t