Proto.symbol: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/proto.bend as Proto
Lines 194-198 of bolt@1.27.0.0/src/lsp/proto.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/proto.bend&start_line=194&end_line=198

import Base
import emerging-ezjson@1.2.0.0/main.bend as Ezjson
import emerging-ezjson@1.2.0.0/src/value.bend as J
import bolt@1.27.0.0/src/syntax/outline.bend as Outline
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

# an item as a DocumentSymbol
def symbol(+cc: Enc.Cols, item: Outline.Item) -> J.Json:
  Outline.Item{k, name, +line, sig, doc, path} = item
  Ezjson.obj([("name", J.JStr{name}), ("kind", J.JNum{U32.show(symbol.kind(k))}),
    ("range", line_range(cc, line)), ("selectionRange", line_range(cc, line))])

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/enc.bend&name=Cols
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/proto.bend&name=line_range
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/proto.bend&name=symbol.kind
  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=emerging-ezjson@1.4.0.0/main.bend&name=obj
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/value.bend&name=Json