def out.of

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

import Base

107# a code-point column of a line in an encoding
108def out.of(ee: Enc, cs: List<&2, Char>, nn: Nat) -> Nat:
109  match ee:
110    case Utf16{}:
111      units(cs, nn)
112    case Utf32{}:
113      nn