sig type t type label val src : Flow.G_FORD_FULKERSON.E.t -> V.t val dst : Flow.G_FORD_FULKERSON.E.t -> V.t val label : Flow.G_FORD_FULKERSON.E.t -> Flow.G_FORD_FULKERSON.E.label end