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

---

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