Pkg.seen.has.step: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg
Lines 483-494 of ezx@1.11.0.0/src/pkg/pkg.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&start_line=483&end_line=494

import Base

# one step of the scan, with the head's answer in hand. `Bool.or` is an
# ordinary function and so reduces both of its sides, which means a scan
# written with it never stops at the name it was looking for. The rest of the
# scan arrives as a thunk and only the arm that wants it applies it. This list
# grows by one with every file the walk reaches, so the scan is the inner half
# of a quadratic and stopping early halves it.
def seen.has.step(here: Bool, rest: Unit -> Bool) -> Bool:
  match here:
    case True{}:
      True{}
    case False{}:
      rest(Unit{})

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit