fact: Definition def_wedgerep (x: reptype t_struct_edge) := is_int I32 Signed (fst x) /\ is_int I32 Signed (fst (snd x)) /\ is_int I32 Signed (snd (snd x)).
imports: VST.floyd.proofauto Coq.ZArith.ZArith CertiGraph.floyd_ext.closed_lemmas CertiGraph.kruskal.kruskal_edgelist