sig
  type t
  type label
  val compare : Flow.G_GOLDBERG.E.t -> Flow.G_GOLDBERG.E.t -> int
  val create : V.t -> Flow.G_GOLDBERG.E.label -> V.t -> Flow.G_GOLDBERG.E.t
  val label : Flow.G_GOLDBERG.E.t -> Flow.G_GOLDBERG.E.label
  val dst : Flow.G_GOLDBERG.E.t -> V.t
  val src : Flow.G_GOLDBERG.E.t -> V.t
end