coq-lsp.fleche
Memo.Stats
coq-lsp.coq
coq-lsp.lsp
type 'a t = {
res : 'a;
cache_hit : bool;
memory : int;
time : float;
}