Palmik pointed out that we internally use xs^.table all over the various With implementations to make tables from things we took out of other tables. These are guaranteed to be distinct, and so we could avoid the needless deleteCollisions check and gain a lot of speed on queries.
Palmik pointed out that we internally use
xs^.table
all over the variousWith
implementations to make tables from things we took out of other tables. These are guaranteed to be distinct, and so we could avoid the needlessdeleteCollisions
check and gain a lot of speed on queries.