def wk_loop

bend-collections@1.0.0.0 · src/containers/lru.bend:859

import bend-collections@1.0.0.0/src/containers/lru.bend as Lru

import Base

859def wk_loop(fuel: Nat, w: Walk) -> Walk:
860  match fuel:
861    case 0n:
862      w
863    case 1n+p:
864      wk_loop(p, wk_step(w))

Uses (3)

Used by (1)

bend-collections@1.0.0.0/src/containers/lru:keys_list