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_TARJAN.t -> int
  val nb_edges : Flow.G_GOLDBERG_TARJAN.t -> int
  val fold_edges_e :
    (Flow.G_GOLDBERG_TARJAN.E.t -> 'a -> 'a) ->
    Flow.G_GOLDBERG_TARJAN.t -> 'a -> 'a
  val fold_succ_e :
    (Flow.G_GOLDBERG_TARJAN.E.t -> 'a -> 'a) ->
    Flow.G_GOLDBERG_TARJAN.t -> V.t -> 'a -> 'a
  val fold_pred_e :
    (Flow.G_GOLDBERG_TARJAN.E.t -> 'a -> 'a) ->
    Flow.G_GOLDBERG_TARJAN.t -> V.t -> 'a -> 'a
end