World.look.step: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/world.bend as World
Lines 87-94 of ezx@1.11.0.0/src/pub/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pub/world.bend&start_line=87&end_line=94

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=Heard