Moved.swaps: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ws/moved.bend as Moved Lines 162-168 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=162&end_line=168 import Base import ezx@1.11.0.0/src/ledger/upgrade.bend as U # the moves as the rewrites they make def swaps(ms: List<&2, Shift>) -> List<&2, U.Swap>: match ms: case []: [] case Shift{_name, old, new} <> tl: U.Swap{old, new} <> swaps(tl) Uses (3): 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/ws/moved.bend&name=Shift