coq-lsp.fleche
Doc.Completion
coq-lsp.coq
coq-lsp.lsp
type t =
| Yes of Loc.t
Location of the last token in the document
| Stopped of Loc.t
Location of the last valid token