def walk

ezx@1.11.0.0 · src/pkg/pkg.bend:1061

import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg

import Base

1061# every file of the package reached from the entry, the step iterated under
1062# fuel, until the walk is over or stops
1063def walk(fuel: Nat, +tree: Tree, +eb: String, +st: State) -> State:
1064  match fuel:
1065    case 0n:
1066      walk.spent(walk.done(st), st)
1067    case 1n+f:
1068      walk.more(walk.done(st), st, now => walk(f, tree, eb, step(tree, eb, now)))

Uses (8)

Used by (2)