def relock

ezx@1.11.0.0 · src/doctor/plan.bend:629

import ezx@1.11.0.0/src/doctor/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/lock/world.bend as W

629# that World, over the sources as a list of files
630def relock(+world: DW.World, fs: List<&2, W.Source>) -> W.World:
631  relock.world(DW.ledger(world), DW.lock(world), W.Listed{fs}, DW.replies(world))

Uses (9)

Used by (1)