Plan.led: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/plan.bend as Plan
Lines 287-289 of ezx@1.11.0.0/src/pub/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pub/plan.bend&start_line=287&end_line=289

import Base
import ezx@1.11.0.0/src/pub/world.bend as PW

# what the World's ledger says
def led(world: PW.World) -> Led:
  led.of(PW.ledger(world))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=Led
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=led.of
  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=ledger