sig
  module type S =
    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
  module Make :
    functor (T : Hashtbl.HashedType) ->
      sig
        type elem = T.t
        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
end

---

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