fact: Record graph (L : Type) := Graph { vertex :> finType ; edge : rel vertex ; label : vertex -> L }.
imports: Relations Recdef mathcomp.ssreflect.ssreflect mathcomp(all_ssreflect) CompDecModal.libs(edone bcase fset base)