The implementation of hash tables where the keys are objects