fact: Definition wedge_to_cdata (wedge : LE*EType) : reptype t_struct_edge := (Vint (Int.repr (fst wedge)), (Vint (Int.repr (fst (snd wedge))), Vint (Int.repr (snd (snd wedge))) ) ).
imports: VST.floyd.proofauto CertiGraph.graph.graph_model CertiGraph.kruskal.WeightedEdgeListGraph CertiGraph.graph.FiniteGraph CertiGraph.kruskal.env_kruskal_edgelist