Vocabulary
hashtables.private

Inputs and outputs
hasha hashtable


Word description
Called to increment the deleted entry counter when an entry is removed with delete-at

Side effects
Modifies hash

Definition