Module type Mincut.G

module type G = sig .. end
Minimal signature for computing the minimal separators

type t 
module V: Sig.VERTEX 
val succ : t -> V.t -> V.t list