Moved.world.moved: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/moved.bend as Moved
Lines 322-332 of ezx@1.11.0.0/src/ws/moved.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/moved.bend&start_line=322&end_line=332

import Base
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/pkg/pkg.bend as K
import ezx@1.11.0.0/src/ws/joint.bend as J

# the World the upgrade plans on: the committed files rewritten with every
# move, and the joint ledger and the answers for its members made again over
# them, so the lock walks the members as the rewrite leaves them
def world.moved(
  +jj: J.Joint,
  +files: List<&2, K.Source>,
  world: LW.World
) -> LW.World:
  LW.World{args, +ledger, _listing, replies, ups} = world
  LW.World{args, J.joint.text(jj, ledger), LW.Listed{sources(files)},
    List.append(&2, LW.Reply, replies, J.seeds(jj, files)), ups}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/lock/world.bend&name=Listing
  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/pkg/pkg.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Joint
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=joint.text
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=seeds
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/moved.bend&name=sources