sig
  type elem = term
  type t
  val create : unit -> t
  val equivalent : t -> elem -> elem -> bool
  val union : t -> elem -> elem -> unit
  val representative : t -> elem -> elem
  val is_representative : t -> elem -> bool
  val members : t -> elem -> elem Bunch.t
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.