[ library(m_map) | Third Party Libraries | Reference Manual | Alphabetic Index ]
Check whether a map contains a key.
- A map
- The key to look for
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.
Fails if Key does not appear in Map.
search / 3, keys / 2, sorted_keys / 2