Moved.edits: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ws/moved.bend as Moved
Lines 305-312 of ezx@1.13.0.0/src/ws/moved.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/ws/moved.bend&start_line=305&end_line=312

import Base
import ezx@1.13.0.0/src/ledger/upgrade.bend as U
import ezx@1.13.0.0/src/lock/plan.bend as LP
import ezx@1.13.0.0/src/pkg/pkg.bend as K

# every file the moves rewrite, written
def edits(+ss: List<&2, U.Swap>, fs: List<&2, K.Source>) -> List<&2, LP.Effect>:
  match fs:
    case []:
      []
    case K.Source{+at, +text} <> tl:
      +new = U.reimport.many(ss, text)
      edit.put(Bool.not(String.eq(new, text)), at, new, edits(ss, tl))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ledger/upgrade.bend&name=Swap
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ledger/upgrade.bend&name=reimport.many
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/plan.bend&name=Effect
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/pkg/pkg.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/moved.bend&name=edit.put