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