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