[ library(m_map) | Reference Manual | Alphabetic Index ]

sorted_keys(+Map, -KeyList)

Return all the keys from a map, in sorted order.
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, in sorted order.

This predicate should only be called with maps created by other predicates from the map module.

Fail Conditions

Never fails.

Resatisfiable

no

See Also

keys / 2, values / 2