coq-lsp.fleche
Memo.CacheStats
Example_plugin
coq-lsp.coq
coq-lsp.lang
coq-lsp.lsp
coq-lsp.plugin
fleche_waterproof
val reset : unit -> unit
val stats : unit -> string
Returns the hit ratio of the cache