unionFind
UnionFind
type 'a elem
val make : 'a -> 'a elem
val get : 'a elem -> 'a
val set : 'a elem -> 'a -> unit
val eq : 'a elem -> 'a elem -> bool
val union : 'a elem -> 'a elem -> 'a elem
val find : 'a elem -> 'a elem
module Make (S : sig ... end) : sig ... end
module type STORE = sig ... end
module StoreMap : sig ... end
module StoreRef : sig ... end
module StoreTransactionalRef : sig ... end
module StoreVector : sig ... end