Module Make.G

type t = V.Set.t V.Map.t