~/jendhub

def add.lock

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

import ezx@1.11.0.0/src/ws/relock.bend as Relock
import Base
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/add/relock.bend as AR

316# the root's lock over what the add leaves, with the answers the add has for
317# it first
318def add.lock(+root: Rooted, world: AR.World) -> Lock:
319  AR.World{+aw, _listing, locks} = world
320  lock.of(ledgers(root, add.edit(root, aw), A.ledger(aw)), root,
321    List.append(&2, LW.Reply, AR.seeds(aw), locks))

Uses (10)

Used by (2)