[ library(m_map) | Reference Manual | Alphabetic Index ]
select(+Map0, ++KeyList, -Map)
Creates a new map containing just those entries corresponding to a given list of keys.
- Map0
- A map
- KeyList
- A list of keys to select
- Map
- The resulting 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