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