sig
  type ers = Equation.EqnSet.t * Rule.RulSet.t
  val fprintf : Comp.ers Useful.fprintf
  exception Unorientable of Equation.EqnSet.t
  val step : Rule.RulSet.t -> Term.term Order.cmp -> Comp.ers -> Comp.ers
  val complete_n :
    Rule.RulSet.t -> Term.term Order.cmp -> int -> Comp.ers -> Comp.ers * int
  val complete :
    Rule.RulSet.t -> Term.term Order.cmp -> Comp.ers -> Comp.ers * int
end