INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |
-- adds the new entry into the dispenser
-- deletes the "active entry" and sets 'item' to the element
-- associated with the largest key among those still existing in
-- the dispenser after the removal and 'key' to this key; if there
-- are no more entries then 'item' and 'key' are both set to Void
-- delivers all the entries of the dispenser in the order in
-- which they would be repeatedly removed if it really happened
INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |