Module Flow.Goldberg_Tarjan

Parameters

module G : G_GOLDBERG_TARJAN
module F : sig ... end

Signature

val maxflow : G.t -> G.V.t -> G.V.t -> (G.E.t -> F.t) * F.t