Class HASHABLE

indexing

    description: "Values taht may be hashed into an integer index, %
        %for use as keys in hash tables."

    note: "In general, the default value of a type (e.g. 0 for integers, %
        %void for references) may not be hashed."

deferred class interface

    HASHABLE

feature -- Access

    hash_code: INTEGER
            -- Hash code value
        deferred
        ensure
            good_hash_value: Result >= 0

end