World.replies: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/pub/world.bend as World
Lines 60-63 of ezx@1.13.0.0/src/pub/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/pub/world.bend&start_line=60&end_line=63

import Base

# every question answered so far
def replies(world: World) -> List<&2, Reply>:
  World{_here, _ledger, rs} = world
  rs

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/pub/world.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/pub/world.bend&name=World