def into.of

bolt@1.27.0.0 · src/lsp/enc.bend:115

import Base

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