HashTable.find: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend as HashTable
Lines 159-173 of bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend&start_line=159&end_line=173

import Base

def find(fuel: Nat, s: Step, +mask: U32, +w: U32, +i: U32) -> Found:
  match fuel s:
    case 0n SEnd{tab, ks, key}:
      FD{tab, ks, key, i, 0}
    case 0n SHit{tab, ks, key, +l}:
      FD{tab, ks, key, i, l}
    case 0n SNext{tab, ks, key}:
      FD{tab, ks, key, i, 0}
    case 1n+p SEnd{tab, ks, key}:
      FD{tab, ks, key, i, 0}
    case 1n+p SHit{tab, ks, key, +l}:
      FD{tab, ks, key, i, l}
    case 1n+p SNext{tab, ks, key}:
      +j = bnext(i, mask)
      find(p, step(tab, ks, j, key, w), mask, w, j)

Uses (6):
  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-laws-crypto@1.0.0.0/src/containers/hash_table.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend&name=bnext
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend&name=step