def lock.world

ezx@1.11.0.0 · src/add/relock.bend:93

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/add/plan.bend as AP
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/relock/relock.bend as R

93# the World a plain `ez lock` reads once the add has run: the ledger it
94# writes, the `.bend` files git lists, and the answers it was given, the add's
95# first
96def lock.world(world: World) -> W.World:
97  World{+a, listing, locks} = world
98  R.world(A.here(a), R.ledger(AP.command(a), A.ledger(a)), listing,
99    List.append(&2, W.Reply, seeds(a), locks))