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

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

# the name a hub package is recorded under: `--rename` when it is given, else
# the ledger's for this name part, else the name part itself
def hub.key(ds: List<&2, M.Dep>, +part: String, +rename: String) -> String:
  +old = hub.had(ds, part)
  Bool.pick(String, String.is_empty(rename),
    Bool.pick(String, String.is_empty(old), part, old), rename)

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