package coq-lsp

  1. Overview
  2. Docs
type char = int
type index = int
val char_of_byte : line:string -> byte:index -> char

Byte index to UTF-8 character position

val byte_of_char : line:string -> char:char -> index

UTF-8 Char to byte index position