Up.dep.moved: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 614-637 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=614&end_line=637

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/ledger/upgrade.bend as U

# a moved pin, once the hub has not objected to its new hash: the ledger's
# entry retargeted, the committed tree it replaces, the hash imports stop
# naming, and what a person is told
def dep.moved(
  +dep: M.Dep,
  +hash: String,
  +rev: String,
  +root: String,
  +nar: String,
  manifest: String,
  srcs: List<&2, String>,
  +branch: String
) -> Fate:
  +src = M.source.dep(dep)
  +name = M.dep.name(dep)
  +old = M.dep.hash(dep)
  +drop = swap.of(M.source.vendor(src), old, hash)
  +prev = swap.hash(String.eq(old, hash), old)
  Became{U.retarget(dep, rev, hash, root, nar), drop, hash, prev, True{},
    say.move(name, M.source.rev(src), rev, branch) <>
      List.append(&2, String,
        line.if(Bool.not(String.is_empty(prev)), name ++ ": imports " ++ old ++ " -> " ++ hash),
        line.if(Bool.not(String.is_empty(drop)), name ++ ": vendored .ez/lib/" ++ hash)),
    [Laid{hash, nar, manifest, srcs}]}

Uses (21):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=List.append
  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.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Dep
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=dep.hash
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=dep.name
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=source.dep
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=source.rev
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=source.vendor
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=retarget
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Fate
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Laid
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=line.if
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=say.move
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=swap.hash
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=swap.of