65
Deletion
•An element can be deleted either by specifying its key, or by specifying a cursor (that designates the key/element pair).
•The key-based Delete raises Constraint_Error if the key isn’t found in the map.
•Exclude (a variation of key-based Delete) does nothing if the key isn’t in the map.
•The cursor-based Delete raises C_E if the cursor equals No_Element, and raises Program_Error if the cursor designates a node in some other map.