fact: Record GeneralGraph {DV DE DG: Type} {P: @LabeledGraph DV DE DG -> Type} := { lg_gg: @LabeledGraph DV DE DG; sound_gg: P lg_gg }.
imports: Coq.Logic.ProofIrrelevance CertiGraph.lib.Ensembles_ext CertiGraph.lib.EquivDec_ext CertiGraph.lib.List_ext CertiGraph.lib.relation_list CertiGraph.lib.Equivalence_ext