World.listing.swap: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/world.bend as World Lines 507-512 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=507&end_line=512 import Base import ezx@1.11.0.0/src/ledger/upgrade.bend as U def listing.swap(+ss: List<&2, U.Swap>, listing: Listing) -> Listing: match listing: case Listed{fs}: Listed{sources.swap(ss, fs)} case Unlisted{why}: Unlisted{why} 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=sources.swap