Semantic.of_tok: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/semantic.bend as Semantic
Lines 320-341 of bolt@1.27.0.0/src/lsp/semantic.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/semantic.bend&start_line=320&end_line=341

import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

# names ask the binder; keywords are keywords; comments, strings and numbers
# are left to the editor's grammar, which tells a doc comment from a plain one
def of_tok(
  kk: Lex.TokKind,
  cur: Cursor,
  all: Kinds,
  name: String,
  line: U32,
  col: U32,
  braced: Bool
) -> Step:
  match kk:
    case Lex.TKey{}:
      Step{Some{0}, cur}
    case Lex.TName{}:
      name_step(cur, all, name, line, col, braced)
    case Lex.TUpper{}:
      name_step(cur, all, name, line, col, braced)
    case Lex.TDotted{}:
      name_step(cur, all, name, line, col, braced)
    case other:
      Step{None{}, cur}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/semantic.bend&name=Cursor
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/semantic.bend&name=Kinds
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/semantic.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/semantic.bend&name=name_step
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=TokKind