Functor LogtkRewriting.MakeOrdered

module MakeOrdered (E : LogtkIndex.EQUATION  with type rhs = LogtkFOTerm.t) : ORDERED  with module E = E
Parameters:
E : LogtkIndex.EQUATION with type rhs = LogtkFOTerm.t

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