~/jendhub

def walk

bend-collections@1.0.0.0 · src/containers/internal/dlist_storage.bend:342

import bend-collections@1.0.0.0/src/containers/internal/dlist_storage.bend as DlistStorage
import Base

342def walk(~T: Data, fuel: Nat, c: Cur<T>) -> Cur<T>:
343  match fuel:
344    case 0n:
345      c
346    case 1n+f:
347      walk(~T, f, step_back(~T, c))

Uses (3)

Used by (1)