
select(+Map0, ++KeyList, -Map)

   Creates a new map containing just those entries corresponding to a given list of keys.

Arguments
   Map0                A map
   KeyList             A list of keys to select
   Map                 The resulting map

Type
   library(m_map)

Description
	
	The map Map contains the key/value pairs from the map Map0 where
	the key appears in the list KeyList.  Keys in KeyList which do not
	appear in Map0 are ignored.
	
	
	This predicate should only be called with maps created by other
	predicates from the map module.
	
	

Fail Conditions
   Never fails.

Resatisfiable
   no


