deferred class
     KEY

General
     cluster: eiffelstore.mapping.keys
     description: "Objects that ..."

Ancestors
     HASHABLE

Queries
     hash_code: INTEGER
     is_basic: BOOLEAN
     is_hashable: BOOLEAN