Nav.via: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/nav.bend as Nav
Lines 70-83 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=70&end_line=83

import Base
import bolt@1.27.0.0/src/syntax/outline.bend as Outline
import bolt@1.27.0.0/src/syntax/word.bend as Word
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

# through an import alias when the name has one, else the document's own
def via(
  ~fs: F.Files,
  imp: Maybe<&2, String>,
  docs: List<&2, Docs.Doc>,
  +uri: String,
  +name: String,
  items: List<&2, Outline.Item>
) -> IO(Maybe<&2, Found>):
  match imp:
    case Some{rel}:
      in_file(~fs, docs, Path.join(Path.dir(Proto.path(uri)), rel), Word.rest(name))
    case None{}:
      own(~fs, Outline.find(items, name), docs, uri, name)

Uses (15):
  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
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/word.bend&name=rest