Nav.at.qual: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/nav.bend as Nav
Lines 109-125 of bolt@1.27.0.0/src/lsp/nav.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/nav.bend&start_line=109&end_line=125

import Base
import bolt@1.27.0.0/src/syntax/outline.bend as Outline
import bolt@1.27.0.0/src/lsp/files/service.bend as F
import bolt@1.27.0.0/src/lsp/docs.bend as Docs
import bolt@1.27.0.0/src/lsp/path.bend as Path
import bolt@1.27.0.0/src/lsp/proto.bend as Proto

# a name behind an import alias: `rest` in the file the import names,
# relative to the document; the document's own item when the outline has no
# import of that alias
def at.qual(
  ~fs: F.Files,
  imp: Maybe<&2, String>,
  rest: String,
  items: List<&2, Outline.Item>,
  docs: List<&2, Docs.Doc>,
  +uri: String,
  +name: String
) -> IO(Maybe<&2, Found>):
  match imp:
    case Some{rel}:
      in_file(~fs, docs, Path.join(Path.dir(Proto.path(uri)), rel), rest)
    case None{}:
      own(~fs, Outline.find(items, name), docs, uri, name)

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=bolt@1.27.0.0/src/lsp/docs.bend&name=Doc
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/files/service.bend&name=Files
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/nav.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/nav.bend&name=in_file
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/nav.bend&name=own
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/path.bend&name=dir
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/path.bend&name=join
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/proto.bend&name=path
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=find