def remove.lock

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

import Base
import ezx@1.11.0.0/src/remove/relock.bend as RR

384# the root's lock over what the remove leaves
385def remove.lock(+root: Rooted, world: RR.World) -> Lock:
386  RR.World{+rw, _here, _listing, locks} = world
387  lock.of(ledgers(root, remove.edit(root, rw), RR.ledger.was(rw)), root, locks)