Parameter ForCustomMaps.B

val get : G.variable -> bool

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

val set : G.variable -> bool -> unit

set updates the map at an existing key.