Named.why.as: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/named.bend as Named
Lines 179-190 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=179&end_line=190

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

# why a name cannot be recorded when `--rename` may have been given, or
# nothing when it can
def why.as(+ds: List<&2, M.Dep>, +name: String, +url: String, +rename: String) -> String:
  +old = had(ds, url, "")
  +other = why(ds, name, url)
  Bool.pick(String, renamed.ok(rename),
    Bool.pick(String, moved(ds, url, rename),
      "ez: " ++ url ++ " is already recorded as deps." ++ old ++
        "; remove it first to record it as " ++ rename,
      other),
    "ez: --rename " ++ rename ++ " is not a TOML bare key " ++
      "(letters, digits, `-` and `_`)")

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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=Base/base.bend&name=String.append
  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
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/named.bend&name=renamed.ok
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/named.bend&name=why
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Dep