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