def del_at

bend-collections@1.0.0.0 · src/containers/hash_table.bend:381

import Base

381# Empty bucket i, closing the gap behind it.
382def del_at(tab: Array<U32>, +mask: U32, +i: U32) -> Array<U32>:
383  shift(U32.to_nat(U32.inc(mask)), sh_step(tab, mask, i, bnext(i, mask)), mask, i, bnext(i, mask))