Names.ns: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/checker/names.bend as Names
Lines 20-23 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=20&end_line=23

import Base

# an import's namespace: its path, without a leading `./` or its `.bend`
def ns(path: String) -> String:
  +pp = ns.lead(path)
  Bool.pick(String, String.ends_with(pp, ".bend"), String.take(pp, Nat.sub(String.length(pp), 5n)), pp)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.ends_with
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.take
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/names.bend&name=ns.lead