def model.next

ezx@1.11.0.0 · src/lock/up.bend:1155

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

1155# the ledger model the upgrade renders, or ez.toml's when nothing moved
1156def model.next(moved: Bool, next: M.Manifest, old: M.Manifest) -> M.Read:
1157  match moved:
1158    case True{}:
1159      M.Good{next}
1160    case False{}:
1161      M.Good{old}