def led
import ezx@1.11.0.0/src/tool/plan.bend as Planimport 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
545# the checkout's ledger, read
546def led(+world: TW.World) -> M.Read:
547 led.of(co.toml(co(world)))