deferred class
	HASHABLE

General
	cluster: elks
	description: 
		"Values that may be hashed into an integer index, 
		for use as keys in hash tables"

Ancestors
	ANY

Queries
	hash_code: INTEGER_32
	is_hashable: BOOLEAN

Generated by ISE EiffelStudio