sig
  type t
  module V : Sig.COMPARABLE
  module E :
    sig
      type t
      type label
      val label : Kruskal.G.E.t -> Kruskal.G.E.label
      val dst : Kruskal.G.E.t -> V.t
      val src : Kruskal.G.E.t -> V.t
    end
  val fold_vertex : (V.t -> '-> 'a) -> Kruskal.G.t -> '-> 'a
  val iter_edges_e : (Kruskal.G.E.t -> unit) -> Kruskal.G.t -> unit
end