67
Replace, Replace_Element
•Replace searches the map to determine whether the key is a member. If the key isn’t found, then it raises Constraint_Error. Otherwise, it replaces the existing key/element pair with the new key/element pair. •Replace differs from Include only with respect to whether the key is already in the map. •If you simply want to assign a new value to an existing element, then use Replace_Element.