Module type Kruskal.UNIONFIND

module type UNIONFIND = sig .. end
Signature of union-find.

type elt 
type t 
val init : elt list -> t
val find : elt -> t -> elt
val union : elt -> elt -> t -> unit