54
Hashed Map "="
•For each key in the left map, hashed map equality searches for the key in the right map. That is, it first computes the hash value of the left key to find the right bucket, and then uses Equivalent_Keys to find the equivalent key in that bucket. If an equivalent key is found, it then compares elements using element equality. (This is the only time when element equality is actually used.)
•Note that both the key and the element are used to compute hashed map equality, but key equality is not used. (In fact key equality is never used in this API.)