def look.step

ezx@1.11.0.0 · src/lock/up.bend:251

import Base

251# this answer when it is the question's, otherwise the rest's. The rest
252# arrives as a thunk, so the first hit ends the scan.
253def look.step(hit: Bool, answer: Answer, rest: Unit -> Heard) -> Heard:
254  match hit:
255    case True{}:
256      Heard{answer}
257    case False{}:
258      rest(Unit{})