~/jendhub

def wk_go

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

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

573def wk_go(fuel: Nat, +k: U32, w: Walk) -> Walk:
574  match fuel:
575    case 0n:
576      w
577    case 1n+p:
578      wk_go(p, U32.sub(k, 1), wk_step(k, w))

Uses (5)

Used by (1)