Up
–
coq-lsp
»
Fleche
» Perf_analysis
Module
Fleche.Perf_analysis
val
make :
Doc.t
->
Perf.t