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