sig
  type t
  module V : Sig.COMPARABLE
  module E :
    sig
      type t
      and 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
  val nb_vertex : Flow.G_GOLDBERG.t -> int
  val iter_vertex : (V.t -> unit) -> Flow.G_GOLDBERG.t -> unit
  val iter_edges_e :
    (Flow.G_GOLDBERG.E.t -> unit) -> Flow.G_GOLDBERG.t -> unit
  val fold_succ_e :
    (Flow.G_GOLDBERG.E.t -> '-> 'a) -> Flow.G_GOLDBERG.t -> V.t -> '-> 'a
  val fold_pred_e :
    (Flow.G_GOLDBERG.E.t -> '-> 'a) -> Flow.G_GOLDBERG.t -> V.t -> '-> 'a
end