package lrgrep
Parameter ForCustomMaps.B
val get : G.variable -> boolget looks up the map. It cannot raise an exception.
val set : G.variable -> bool -> unitset updates the map at an existing key.
ForCustomMaps.Bval get : G.variable -> boolget looks up the map. It cannot raise an exception.
val set : G.variable -> bool -> unitset updates the map at an existing key.