fact: Definition cdata_to_wedge (cwedge: reptype t_struct_edge) : (LE*EType) := match cwedge with | (Vint w, (Vint x, Vint y)) => (Int.signed w,(Int.signed x,Int.signed y)) | _ => (0, (0,0)) end.
imports: VST.floyd.proofauto CertiGraph.graph.graph_model CertiGraph.kruskal.WeightedEdgeListGraph CertiGraph.graph.FiniteGraph CertiGraph.kruskal.env_kruskal_edgelist