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