Relock.lock.world: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/remove/relock.bend as Relock
Lines 33-36 of ezx@1.11.0.0/src/remove/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/remove/relock.bend&start_line=33&end_line=36

import Base
import ezx@1.11.0.0/src/remove/plan.bend as RP
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/relock/relock.bend as R

# the World a plain `ez lock` reads once the remove has run
def lock.world(world: World) -> W.World:
  World{+r, +here, listing, locks} = world
  R.world(here, R.ledger(RP.plan(r), ledger.was(r)), listing, locks)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/relock/relock.bend&name=ledger
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/relock/relock.bend&name=world
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=plan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/relock.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/relock.bend&name=ledger.was