Generic_Keys
•The Generic_Keys nested
package can be used to manipulate a set in terms of a
key.
•Useful
when the element is a record, and the element’s key is a component
of the record.
•Solves the problem of finding a set element if you
only know its key-part, and can't easily synthesize a nonce element to
use as the search item.