def known.step

ezx@1.11.0.0 · src/ledger/upgrade.bend:43

import Base

43# the rest of the scan only when this one was not it
44def known.step(hit: Bool, rest: Unit -> Bool) -> Bool:
45  match hit:
46    case True{}:
47      True{}
48    case False{}:
49      rest(Unit{})