functor (G : G-> sig val min_cutset : Mincut.G.t -> G.V.t -> G.V.t list end