vscoq-language-server.lsp
LspWrapper.Range
vscoq-language-server.dm
vscoq-language-server.language
include module type of struct include Lsp.Types.Range end
val create : end_:Lsp.Types.Position.t -> start:Lsp.Types.Position.t -> Lsp.Types.Range.t
include Ppx_yojson_conv_lib.Yojsonable.S with type t := Lsp.Types.Range.t
val t_of_yojson : Yojson.Safe.t -> Lsp.Types.Range.t
val yojson_of_t : Lsp.Types.Range.t -> Yojson.Safe.t
type t = Lsp.Types.Range.t = {
end_ : Position.t;
start : Position.t;
}
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val top : unit -> Lsp.Types.Range.t
val compare : t -> t -> int
val equals : t -> t -> bool
val included : in_:t -> t -> bool
val strictly_included : in_:t -> t -> bool
val prefixes : in_:t -> t -> bool
val postfixes : in_:t -> t -> bool
val to_string : t -> string