~/jendhub

def mv_go

bend-collections-laws-math@1.0.0.0 · src/containers/hash_table.bend:320

import bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend as HashTable
import Base

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

Uses (5)

Used by (1)