HashTable.ins_go: def of bend-collections-laws-math@1.0.0.0
Import: import bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend as HashTable
Lines 282-292 of bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend&start_line=282&end_line=292

import Base

def ins_go(fuel: Nat, s: RStep, +mask: U32, +i: U32, +w: U32, +l: U32) -> Array<U32>:
  match fuel s:
    case 0n REmpty{tab}:
      tab
    case 0n RFull{tab}:
      tab
    case 1n+p REmpty{tab}:
      put_bucket(tab, i, w, l)
    case 1n+p RFull{tab}:
      +j = bnext(i, mask)
      ins_go(p, rstep(tab, j), mask, j, w, l)

Uses (7):
  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-laws-math@1.0.0.0/src/containers/hash_table.bend&name=RStep
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend&name=bnext
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend&name=put_bucket
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend&name=rstep