[ 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