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