Unionfind.Make
module X : HashedOrderedType
type elt = X.t
type t
val init : elt list -> t
val find : elt -> t -> elt
val union : elt -> elt -> t -> unit