Parameter ForCustomMaps.V

val get : G.variable -> P.property

get looks up the map. It cannot raise an exception.

val set : G.variable -> P.property -> unit

set updates the map at an existing key.