def position

bolt@1.27.0.0 · src/lsp/proto.bend:61

import Base
import emerging-ezjson@1.2.0.0/src/value.bend as J
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

61# an LSP position (0-based line and a code-point character), its character
62# sent in the document's negotiated encoding
63def position(cc: Enc.Cols, +line: U32, character: U32) -> J.Json:
64  position.at(line, Enc.out(cc, line, character))