Module type Flow.G_GOLDBERG_TARJAN
Minimal graph signature for Goldberg-Tarjan. Sub-signature of Sig.G
.
module V : Sig.COMPARABLE
Flow.G_GOLDBERG_TARJAN
Minimal graph signature for Goldberg-Tarjan. Sub-signature of Sig.G
.
module V : Sig.COMPARABLE