type Planned

ezx@1.11.0.0 · src/ws/run.bend:148

import Base
import ezx@1.11.0.0/src/ws/up.bend as U
import ezx@1.11.0.0/src/lock/world.bend as LW

148# the ledger `ez lock` is planned from, what an upgrade needs to write its
149# pins back, and the answers the lock reads the workspace's members from
150type Planned is Data:
151  Planned{ledger: Maybe<&2, String>, back: U.Back, seeds: List<&2, LW.Reply>}