def walk.more

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

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

import Base

1041# the walk as it is when it is over, or one step further when it is not. The
1042# rest of the walk arrives as a function, since a def may not call itself from
1043# another def.
1044def walk.more(done: Bool, st: State, go: State -> State) -> State:
1045  match done:
1046    case True{}:
1047      st
1048    case False{}:
1049      go(st)

Uses (2)

Used by (1)

ezx@1.11.0.0/src/pkg/pkg:walk