sig
  module type G =
    sig
      type t
      module V : Sig.VERTEX
      val succ : Mincut.G.t -> V.t -> V.t list
    end
  module Make :
    functor (G : G) ->
      sig val min_cutset : Mincut.G.t -> G.V.t -> G.V.t list end
end