Module type `Mincut.G`

Minimal signature for computing the minimal separators

type t

module V : Sig.VERTEX

Vertices are COMPARABLE.

val succ : t -> V.t -> V.t list