class interface KL_HASHABLE_ROUTINES feature(s) from KL_HASHABLE_ROUTINES -- Access hash_value (an_any: ANY): INTEGER -- Hash code value require an_any_not_void: an_any /= Void ensure hash_value_positive: Result >= 0 end of KL_HASHABLE_ROUTINES