[ library(m_map) | Reference Manual | Alphabetic Index ]
Return all the keys from a map, in sorted order.
- A map
- A list of all the keys from Map
KeyList is a list of all the keys appearing in the map Map, in
This predicate should only be called with maps created by other
predicates from the map module.
keys / 2, values / 2