[ library(m_map) | Reference Manual | Alphabetic Index ]
contains(+Map, ++Key)
Check whether a map contains a key.
- Map
- A map
- Key
- The key to look for
Description
This predicate checks the map Map to see whether it contains an
entry with key Key.
This predicate should only be called with maps created by other
predicates from the map module.
Fail Conditions
Fails if Key does not appear in Map.
Resatisfiable
no
See Also
search / 3, keys / 2, sorted_keys / 2