package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Language Server Protocol native server for Coq

Install

sha256=714e28280df575a9aac5c382bfbaee2815ee278d11782f670d220372892554a3

sha512=ba713ecfb2f1f097c0a355991f65f3b8e46453efb08ee78073d9d9504225b83208907f2c6dfa39256fb9a34bece81fccbeb05b59f6c0f0e1729221c5ef1d97b8

Sourcetype t = private {

raw : string;
(*
That's the original, unprocessed document text, including markdown
*)
text : string;
(*
That's the text to be sent to the prover, already processed, and stripped from markdown, encoded in UTF-8
*)
last : Lang.Point.t;
(*
Last point of text, you can derive n_lines from here
*)
lines : string Array.t;
(*
text split in lines
*)

}

Sourcemodule R : sig ... end

Sourceval make : uri:Lang.LUri.File.t -> raw:string -> t R.t