
keys(+Map, -KeyList)

   Return all the keys from a map.

Arguments
   Map                 A map
   KeyList             A list of all the keys from Map

Type
   library(m_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
