sig val add_cps : (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 end