Kruskal.UNIONFIND
Signature of union-find.
type elt
type t
val init : elt list -> t
val find : elt -> t -> elt
val union : elt -> elt -> t -> unit