module Cp: sig .. end
sig
end
val add_cps : (Term.term -> Term.term) -> Equation.EqnSet.t -> Rule.RulSet.t -> Equation.EqnSet.t
(Term.term -> Term.term) -> Equation.EqnSet.t -> Rule.RulSet.t -> Equation.EqnSet.t
val cps : (Term.term -> Term.term) -> Rule.RulSet.t -> Equation.EqnSet.t
(Term.term -> Term.term) -> Rule.RulSet.t -> Equation.EqnSet.t