Decreases the length of the bucket info for the non-empty bucket specified by bucket_index by 1. Decreases the number of non-empty buckets by 1 if the bucket becomes empty.
index of the bucket into which another element has been put
In: The bucket is expected to be non-empty.
See Implementation
Decreases the length of the bucket info for the non-empty bucket specified by bucket_index by 1. Decreases the number of non-empty buckets by 1 if the bucket becomes empty.