[ library(m_map) | Reference Manual | Alphabetic Index ]
Return all the keys from a map.
- A map
- A list of all the keys from Map
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.
sorted_keys / 2, values / 2