[ library(m_map) | Reference Manual | Alphabetic Index ]
keys(+Map, -KeyList)
Return all the keys from a map.
- Map
- A map
- KeyList
- A list of all the keys from Map
Description
KeyList is a list of all the keys appearing in the map Map.
This predicate should only be called with maps created by other
predicates from the map module.
Fail Conditions
Never fails.
Resatisfiable
no
See Also
sorted_keys / 2, values / 2