HashTable.mv_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 320-325 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=320&end_line=325

import Base

def mv_go(fuel: Nat, +k: U32, +nmask: U32, m: Mv) -> Mv:
  match fuel:
    case 0n:
      m
    case 1n+p:
      mv_go(p, U32.inc(k), nmask, mv_step(k, nmask, m))

Uses (5):
  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=Base/base.bend&name=U32.inc
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend&name=Mv
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend&name=mv_step