module type FLOW = sig ... end
module type G_GOLDBERG_TARJAN = sig ... end
module Goldberg_Tarjan : functor (G : G_GOLDBERG_TARJAN) -> functor (F : sig ... end) -> sig ... end
module type G_FORD_FULKERSON = sig ... end
module type FLOWMIN = sig ... end
module Ford_Fulkerson : functor (G : G_FORD_FULKERSON) -> functor (F : sig ... end) -> sig ... end