deferred class interface HASHABLE feature(s) from HASHABLE hash_code: INTEGER -- The hash-code value of Current. ensure good_hash_value: Result >= 0 end of deferred HASHABLE