Functor Uf.Make (.ml)

module Make: 
functor (X : Sig.X) -> S  with module R = X

type t 

module R: Sig.X 

val empty : t

val add : t -> Term.t -> t * Literal.LT.t list

val mem : t -> Term.t -> bool

val find : t -> Term.t -> R.r * Explanation.t

val find_r : t -> R.r -> R.r * Explanation.t

val union : t ->
       R.r ->
       R.r ->
       Explanation.t -> t * (R.r * (R.r * R.r * Explanation.t) list * R.r) list

val distinct : t -> R.r list -> Explanation.t -> t

val are_equal : t -> Term.t -> Term.t -> Sig.answer

val are_distinct : t -> Term.t -> Term.t -> Sig.answer

val already_distinct : t -> R.r list -> bool

val class_of : t -> Term.t -> Term.t list