Upgrade.reimport.many.line: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgrade Lines 202-208 of ezx@1.11.0.0/src/ledger/upgrade.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&start_line=202&end_line=208 import Base # one line through every replacement, in order def reimport.many.line(ss: List<&2, Swap>, +line: String) -> String: match ss: case []: line case Swap{+old, +new} <> t: reimport.many.line(t, reimport.line(line, old, new)) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String 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.line