def any.step
import ezx@1.11.0.0/src/add/plan.bend as Planimport Base
495# the rest of a scan only when this step was not the hit
496def any.step(hit: Bool, rest: Unit -> Bool) -> Bool:
497 match hit:
498 case True{}:
499 True{}
500 case False{}:
501 rest(Unit{})