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