|5.4 Class HASHABLE|
description: "Values that may be hashed into an integer index, % for use as keys in hash tables."
deferred class interface
feature -- Access
hash_code: INTEGER -- Hash code value deferred ensure good_hash_value: Result >= 0
Copyright © 1995, Nonprofit
International Consortium for Eiffel
Last Updated: 26 October 1997