
contains(+Map, ++Key)

   Check whether a map contains a key.

Arguments
   Map                 A map
   Key                 The key to look for

Type
   library(m_map)

Description
	
	This predicate checks the map Map to see whether it contains an
	entry with key Key.
	
	
	This predicate should only be called with maps created by other
	predicates from the map module.
	
	

Fail Conditions
   Fails if Key does not appear in Map.

Resatisfiable
   no

See Also
   search / 3, keys / 2, sorted_keys / 2
