World.sources: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/doctor/world.bend as World
Lines 136-138 of ezx@1.11.0.0/src/doctor/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/world.bend&start_line=136&end_line=138

import Base

# the answer the sources question has had on a World, or none yet
def sources(world: World) -> Heard:
  heard(replies(world), Sources{})

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=Heard
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=heard
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=replies