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