World.heard: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/world.bend as World
Lines 104-106 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=104&end_line=106

import Base

# the answer to a question, or none yet
def heard(+world: World, ask: Ask) -> Heard:
  look(replies(world), key(ask))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=Heard
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=key
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=look
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=replies