Hub.key: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/hub.bend as Hub
Lines 53-55 of ezx@1.11.0.0/src/add/hub.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/hub.bend&start_line=53&end_line=55

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/ez/named.bend as Named

# the key the dependency is recorded under (EZ-LED-7)
def key(+world: A.World) -> String:
  Named.hub.key(A.deps(world), part(world), A.rename(world))

Uses (6):
  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/add/hub.bend&name=part
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=deps
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=rename
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/named.bend&name=hub.key