Const
Generates a total equality between Map<K, L> and Map<K, R> from the equality between L and R.
Map<K, L>
Map<K, R>
L
R
It doesn't require an equality of K because Map uses SameValueZero algorithm as an equality of keys.
K
Map
SameValueZero
Generates a total equality between
Map<K, L>andMap<K, R>from the equality betweenLandR.It doesn't require an equality of
KbecauseMapusesSameValueZeroalgorithm as an equality of keys.