type Lock

ezx@1.11.0.0 · src/ws/relock.bend:225

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

225# the lock at the root, as a plain `ez lock` there plans it: what its upgrade
226# half needs and the World it reads, or why the ledgers cannot be joined
227type Lock is Data:
228  Lock{back: U.Back, world: LW.World}
229  Stop{why: String}