Module type LogtkRewriting.ORDERED

module type ORDERED = sig .. end

type t 
module E: LogtkIndex.EQUATION 
val empty : ord:LogtkOrdering.t -> t
val add : t -> E.t -> t
val add_seq : t -> E.t Sequence.t -> t
val add_list : t -> E.t list -> t
val to_seq : t -> E.t Sequence.t
val size : t -> int
val mk_rewrite : t -> size:int -> LogtkFOTerm.t -> LogtkFOTerm.t
Given a TRS and a cache size, build a memoized function that performs term rewriting