coq-lsp.fleche
Contents.R
Example_plugin
coq-lsp.coq
coq-lsp.lang
coq-lsp.lsp
coq-lsp.plugin
fleche_waterproof
type 'a t = private
| Ok of 'a
| Error of string
We want to replace the string by a proper diagnostic we can send to the client
val map : f:('a -> 'b) -> 'a t -> 'b t