World.listing.moved: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/world.bend as World
Lines 514-521 of ezx@1.11.0.0/src/lock/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/world.bend&start_line=514&end_line=521

import Base
import ezx@1.11.0.0/src/ledger/upgrade.bend as U

# the committed sources as the lock reads them: as the upgrade leaves them,
# which is as they are when no hash moved, and always for a plain lock
def listing.moved(ss: List<&2, U.Swap>, listing: Listing) -> Listing:
  match ss:
    case []:
      listing
    case h <> t:
      listing.swap(h <> t, listing)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=Swap
  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=listing.swap