Named.moved: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/named.bend as Named
Lines 174-177 of ezx@1.11.0.0/src/ez/named.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/named.bend&start_line=174&end_line=177

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

# whether a `--rename` would record a source the ledger already names under a
# second name. That is refused rather than duplicated or silently renamed.
def moved(ds: List<&2, M.Dep>, +url: String, +rename: String) -> Bool:
  moved.of(had(ds, url, ""), rename)

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=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/ez/named.bend&name=had
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/named.bend&name=moved.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Dep