sig type t module V : Sig.VERTEX val succ : Mincut.G.t -> V.t -> V.t list end