Enc.into.at: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/enc.bend as Enc
Lines 196-203 of bolt@1.27.0.0/src/lsp/enc.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/enc.bend&start_line=196&end_line=203

import Base

# a column of a document's line read in an encoding; utf-32 never looks the
# line up
def into.at(ee: Enc, lines: List<&2, String>, line: U32, col: U32) -> U32:
  match ee:
    case Utf16{}:
      into.col(Utf16{}, chars(lines, line), col)
    case Utf32{}:
      col

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/enc.bend&name=Enc
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/enc.bend&name=chars
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/enc.bend&name=into.col