World.sources.swap: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/world.bend as World Lines 498-505 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=498&end_line=505 import Base import ezx@1.11.0.0/src/ledger/upgrade.bend as U # every committed source with each hash the upgrade moved rewritten in its # imports, as the upgrade writes it def sources.swap(+ss: List<&2, U.Swap>, fs: List<&2, Source>) -> List<&2, Source>: match fs: case []: [] case Source{at, text} <> t: Source{at, U.reimport.many(ss, text)} <> sources.swap(ss, t) 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/ledger/upgrade.bend&name=reimport.many https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Source