ForCustomMaps.V
val get : G.variable -> P.property
get looks up the map. It cannot raise an exception.
get
val set : G.variable -> P.property -> unit
set updates the map at an existing key.
set