Names.key.of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/checker/names.bend as Names
Lines 25-32 of bolt@1.27.0.0/src/lsp/checker/names.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/checker/names.bend&start_line=25&end_line=32

import Base

# the key of a name that opens with `head.`: through the import aliased head
# when there is one, else the name as written
def key.of(alias: Maybe<&2, String>, +name: String, +rest: String) -> String:
  match alias:
    case None{}:
      name
    case Some{path}:
      ns(path) ++ "." ++ rest

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=bolt@1.27.0.0/src/lsp/checker/names.bend&name=ns