def blanks.step
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
131# one line of the other walk, the same way round
132def blanks.step(blank: Bool, rest: Unit -> Bool) -> Bool:
133 match blank:
134 case True{}:
135 rest(Unit{})
136 case False{}:
137 False{}