Up – Package index » coq-lsp » Library coq-lsp.fleche » Fleche » Info » Completion

Module `Info.Completion`Source

coq-lsp
- CHANGES
- README
- Library Example_plugin
  - Example_plugin
- Library coq-lsp.coq
  - Coq
- Library coq-lsp.fleche
  - Fleche
    - Config
    - Contents
    - Debug
    - Doc
    - Info
      - Point
      - LineCol
      - Offset
      - S
      - LC
      - O
      - Goals
      - Completion
    - Io
    - Memo
    - Perf
    - Perf_analysis
    - Progress
    - Stats
    - Theory
    - Version
- Library coq-lsp.lang
  - Lang
- Library coq-lsp.lsp
  - Lsp
- Library coq-lsp.plugin
- Library fleche_waterproof
  - Fleche_waterproof
- Sources

Sourceval candidates : st:Coq.State.t -> string -> string list option