Up
–
coq-lsp
»
Fleche
»
Stats
» Kind
Module
Stats.Kind
time and memory-based stats
type
t
=
|
Hashing
|
Parsing
|
Exec