
det_update(+Map0, ++Key, ?Value, -Map)

   Update the value corresponding to a key in a map, aborting if it doesn't exist.

Arguments
   Map0                A map
   Key                 A key to update
   Value               The value corresponding to Key
   Map                 The map after updating

Type
   library(m_map)

Description
	
	If the key Key already exists in the map Map0, then this
	predicate updates the corresponding value to be Value, resulting
	in the map Map.  If the key Key is not already in the map,
	then the predicate aborts with a runtime error.
	
	
	This predicate should only be called with maps created by other
	predicates from the map module.
	
	

Fail Conditions
   Never fails.

Resatisfiable
   no

See Also
   update / 4, insert / 4, det_insert / 4, set / 4
