HashTable.shift: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/containers/hash_table.bend as HashTable
Lines 364-379 of bend-collections@1.0.0.0/src/containers/hash_table.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/containers/hash_table.bend&start_line=364&end_line=379

import Base

def shift(fuel: Nat, s: Sh, +mask: U32, +i: U32, +k: U32) -> Array<U32>:
  match fuel s:
    case 0n HEnd{tab}:
      clear_bucket(tab, i)
    case 0n HMove{tab, w, l}:
      clear_bucket(tab, i)
    case 0n HSkip{tab}:
      clear_bucket(tab, i)
    case 1n+p HEnd{tab}:
      clear_bucket(tab, i)
    case 1n+p HMove{tab, +w, +l}:
      +k2 = bnext(k, mask)
      shift(p, sh_step(put_bucket(tab, i, w, l), mask, k, k2), mask, k, k2)
    case 1n+p HSkip{tab}:
      +k2 = bnext(k, mask)
      shift(p, sh_step(tab, mask, i, k2), mask, i, k2)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/hash_table.bend&name=Sh
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/hash_table.bend&name=bnext
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/hash_table.bend&name=clear_bucket
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/hash_table.bend&name=put_bucket
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/hash_table.bend&name=sh_step