def walk.more

ezx@1.11.0.0 · src/lock/plan.bend:165

import Base

165# the walk as it is when it is done, or one step further when it is not. The
166# rest of the walk arrives as a function, since a def may not call itself from
167# another def.
168def walk.more(done: Bool, wk: Walk, go: Walk -> Walk) -> Walk:
169  match done:
170    case True{}:
171      wk
172    case False{}:
173      go(wk)