coq-lsp.lsp
JFleche.Message
Goals
Example_plugin
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lang
coq-lsp.plugin
fleche_waterproof
type 'a t = {
range : JLang.Range.t option;
level : int;
text : 'a;
}