class interface KL_IMPORTED_HASHABLE_ROUTINES

feature(s) from KL_IMPORTED_HASHABLE_ROUTINES
   --  Access

   HASHABLE_: KL_HASHABLE_ROUTINES
      --  Routines that ought to be in class HASHABLE

      ensure
         hashable_routines_not_void: Result /= Void


end of KL_IMPORTED_HASHABLE_ROUTINES