variable Map Has Key
Test whether the map in this variable has the specified key.
This is an atomic operation, so the read is serialized with respect to other operations on this variable.
Return
true iff the map in this variable has the specified key.
Parameters
key
The key to look for in the map.
Throws
If the variable is uninitialized.