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

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# the checkout's ledger, read
def led(+world: TW.World) -> M.Read:
  led.of(co.toml(co(world)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=co
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=co.toml
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=led.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=World