Plan.ledger.next: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 972-978 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=972&end_line=978

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/up.bend as Up
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# the ledger model an upgrade renders into ez.toml; ez.toml as it was when
# the upgrade refuses, still asks, or moves nothing, and for a plain lock. The
# upgrade's decisions (EZ-RES-4 to 6 and 8) are stated over it, and hold of
# ez.toml's bytes, which read back as it (EZ-LED-4).
def ledger.next(world: W.World) -> M.Read:
  W.World{args, +ledger, _listing, _replies, ups} = world
  Up.next.model(W.next(args, ledger, ups))

Uses (4):
  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/lock/up.bend&name=next.model
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=next