sig
  type t
  module V : Sig.COMPARABLE
  module E :
    sig
      type t
      val compare : t -> t -> int
      type vertex = V.t
      val src : t -> vertex
      val dst : t -> vertex
      type label
      val create : vertex -> label -> vertex -> t
      val label : t -> label
    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