module type UNIONFIND = sig .. end
sig
end
type elt
type t
val init : elt list -> t
elt list -> t
val find : elt -> t -> elt
elt -> t -> elt
val union : elt -> elt -> t -> unit
elt -> elt -> t -> unit