coq-lsp.fleche
Fleche.Utf8
coq-lsp.coq
coq-lsp.lsp
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