def has.step
import ezx@1.11.0.0/src/ledger/ignore.bend as Ignoreimport Base
260# the rest of the scan only when this line was not it
261def has.step(hit: Bool, rest: Unit -> Bool) -> Bool:
262 match hit:
263 case True{}:
264 True{}
265 case False{}:
266 rest(Unit{})