package coq-lsp

  1. Overview
  2. Docs
type t = {
  1. line : int;
  2. character : int;
  3. offset : int;
}

ATTENTION: character is a Unicode caracter position, thus from Coq that usually requires conversion, as it will report the column offset in bytes. But offset is in bytes for now, as our downstream clients prefer this format.

val pp : Format.formatter -> t -> unit
OCaml

Innovation. Community. Security.