def escaped.step

ezx@1.11.0.0 · src/pkg/pkg.bend:591

import Base

591# one step of the search, with the head's answer in hand. A search that puts
592# its recursion in an arm of a `Bool.pick` is not a search: the arm is built
593# whatever the answer, so the first escaping path still costs a walk of every
594# file after it. The thunk is what makes the stop a stop.
595def escaped.step(here: Bool, at: String, rest: Unit -> String) -> String:
596  match here:
597    case True{}:
598      at
599    case False{}:
600      rest(Unit{})