def more.lock

ezx@1.11.0.0 · src/add/run.bend:37

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/add/relock.bend as AR

37# the World with more of the lock's answers in it
38def more.lock(world: AR.World, rs: List<&2, W.Reply>) -> AR.World:
39  AR.World{a, listing, locks} = world
40  AR.World{a, listing, List.append(&2, W.Reply, locks, rs)}