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

import Base
import bolt@1.27.0.0/src/syntax/outline.bend as Outline
import bolt@1.27.0.0/src/syntax/bind.bend as Bind
import bolt@1.27.0.0/src/lsp/proto.bend as Proto

# a binder as a candidate: its note stands for a signature
def as_items(ls: List<&2, Bind.Bind>) -> List<&2, Outline.Item>:
  match ls:
    case Nil{}:
      Nil{}
    case Con{Bind.Bind{name, line, col, kind, note}, t}:
      Outline.Item{Outline.ILocal{}, name, line, note, Proto.kind_name(kind), ""} <> as_items(t)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/proto.bend&name=kind_name
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=Bind
  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=ItemKind