def ledger.next

ezx@1.11.0.0 · src/lock/plan.bend:972

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

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