Enc.into.of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/enc.bend as Enc
Lines 115-121 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=115&end_line=121

import Base

# an encoding's column of a line as a code-point column
def into.of(ee: Enc, cs: List<&2, Char>, uu: Nat) -> Nat:
  match ee:
    case Utf16{}:
      points(cs, uu)
    case Utf32{}:
      uu

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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=points