def lock.world

ezx@1.11.0.0 · src/remove/relock.bend:33

import Base
import ezx@1.11.0.0/src/remove/plan.bend as RP
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/relock/relock.bend as R

33# the World a plain `ez lock` reads once the remove has run
34def lock.world(world: World) -> W.World:
35  World{+r, +here, listing, locks} = world
36  R.world(here, R.ledger(RP.plan(r), ledger.was(r)), listing, locks)