Up – Package index » coq-lsp » Library coq-lsp.fleche » Fleche » Stats » Kind

Module `Stats.Kind`Source

time-based stats

coq-lsp
- CHANGES
- README
- Library coq-lsp.coq
  - Coq
- Library coq-lsp.fleche
  - Fleche
    - Config
    - Contents
    - Debug
    - Doc
    - Info
    - Io
    - Memo
    - Progress
    - Stats
      - Kind
- Library coq-lsp.lang
  - Lang
- Library coq-lsp.lsp
  - Lsp
- Library fleche_waterproof
  - Fleche_waterproof
- Sources

Sourcetype t =

| Hashing
| Parsing
| Exec