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

import Base

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

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=units