module M: Map.S with type key = G.V.t
Map.S
with type key = G.V.t
Map used to store the result of the analysis