coq-lsp.fleche
Doc.Target
Checking targets, this specifies what we expect check to reach
coq-lsp.coq
coq-lsp.lsp
type t =
| End
| Position of int * int