vscoq-language-server.lsp
LspWrapper.Position
vscoq-language-server.dm
vscoq-language-server.language
include module type of struct include Lsp.Types.Position end
val create : character:int -> line:int -> Lsp.Types.Position.t
include Ppx_yojson_conv_lib.Yojsonable.S with type t := Lsp.Types.Position.t
val t_of_yojson : Yojson.Safe.t -> Lsp.Types.Position.t
val yojson_of_t : Lsp.Types.Position.t -> Yojson.Safe.t
type t = Lsp.Types.Position.t = {
character : int;
line : int;
}
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val compare : t -> t -> int
val to_string : t -> string