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