Graph.Flowmodule type FLOW = sig ... endmodule type G_GOLDBERG_TARJAN = sig ... endmodule Goldberg_Tarjan (G : G_GOLDBERG_TARJAN) (F : sig ... end) : sig ... endmodule type G_FORD_FULKERSON = sig ... endmodule type FLOWMIN = sig ... endmodule Ford_Fulkerson (G : G_FORD_FULKERSON) (F : sig ... end) : sig ... end