[ library(m_map) | Third Party Libraries | 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