[ 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