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