Module type Graph__Flow.G_GOLDBERG_TARJAN
Minimal graph signature for Goldberg-Tarjan. Sub-signature of Sig
.G.
module V : Graph.Sig.COMPARABLE
module E : Graph.Sig.EDGE with type vertex = V.t
Graph__Flow.G_GOLDBERG_TARJAN
Minimal graph signature for Goldberg-Tarjan. Sub-signature of Sig
.G.
module V : Graph.Sig.COMPARABLE
module E : Graph.Sig.EDGE with type vertex = V.t