coq-lsp.fleche
Doc.Completion
coq-lsp.coq
coq-lsp.lsp
type t = private
| Yes of Types.Range.t
Location of the last token in the document
| Stopped of Types.Range.t
Location of the last valid token
| Failed of Types.Range.t
Critical failure, like an anomaly