Generic.3-UF
type elt = G.V.t
type t
val init : elt list -> t
val find : elt -> t -> elt
val union : elt -> elt -> t -> unit