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.