lib(m_map)

	
	This module provides the `map' abstract data type.  A map, also
	known as a dictionary or an associative array, is a collection of
	key/value pairs which allows you to look up any data item given its
	key.
	
	
	Note that keys must be ground, but values are allowed to be 
	variables.
	
	

