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

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/add/plan.bend as AP
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 add has run: the ledger it
# writes, the `.bend` files git lists, and the answers it was given, the add's
# first
def lock.world(world: World) -> W.World:
  World{+a, listing, locks} = world
  R.world(A.here(a), R.ledger(AP.command(a), A.ledger(a)), listing,
    List.append(&2, W.Reply, seeds(a), locks))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=command
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=seeds
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=here
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=ledger
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Reply
  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