coq-lsp.coq
Workspace.Warning
Example_plugin
coq-lsp.fleche
coq-lsp.lang
coq-lsp.lsp
coq-lsp.plugin
fleche_waterproof
type t
val make : string -> t
val apply : t list -> unit
Adds new warnings to the list of current warnings, the Coq API here is a bit tricky...