78
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.