def seen.step

ezx@1.11.0.0 · src/tool/plan.bend:805

import Base

805# one step of a scan that may stop at the first hit
806def seen.step(here: Bool, rest: Unit -> Bool) -> Bool:
807  match here:
808    case True{}:
809      True{}
810    case False{}:
811      rest(Unit{})