Up – Package index » coq-lsp » Library coq-lsp.fleche » Fleche » Config » Unicode_completion

Module `Config.Unicode_completion`Source

coq-lsp
- CHANGES
- README
- Library coq-lsp.coq
  - Coq
- Library coq-lsp.fleche
  - Fleche
- Library coq-lsp.lsp
  - Lsp
- Sources

Sourcetype t =

| Off
| Normal
| Extended