def any.step
import ezx@1.11.0.0/src/remove/plan.bend as Planimport Base
52# the rest of a scan only when this one was not it
53def any.step(hit: Bool, rest: Unit -> Bool) -> Bool:
54 match hit:
55 case True{}:
56 True{}
57 case False{}:
58 rest(Unit{})