def lock.of

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

import Base
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/ws/workspace.bend as W

275# the lock at the root over the ledgers the command leaves
276def lock.of(lg: Ledgers, root: Rooted, rs: List<&2, LW.Reply>) -> Lock:
277  Ledgers{+text, +fs} = lg
278  Rooted{+at, _rel, _text, _found, +listing, +lock} = root
279  lock.read(W.spec.of(text), at, text, fs, listing, lock, rs)