Upgrade.reimport.line.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgrade
Lines 189-196 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=189&end_line=196

import Base

# one line, with the branch already chosen. A match cannot scrutinise a call.
def reimport.line.go(hit: Bool, +line: String, +old: String, +new: String) -> String:
  match hit:
    case True{}:
      String.append(reimport.head(new),
        String.drop(line, String.length(reimport.head(old))))
    case False{}:
      line

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=reimport.head