Up – Package index » coq-lsp » Sources » coq-lsp.coq » message.ml

Source file `message.ml`

coq-lsp
- CHANGES
- README
- Library Example_plugin
  - Example_plugin
- Library coq-lsp.coq
  - Coq
- Library coq-lsp.fleche
  - Fleche
- Library coq-lsp.lang
  - Lang
- Library coq-lsp.lsp
  - Lsp
- Library coq-lsp.plugin
- Library fleche_waterproof
  - Fleche_waterproof
- Sources
  - Example_plugin
    - example_plugin.ml
    - main.ml
  - coq-lsp.coq
  - coq-lsp.fleche
  - coq-lsp.lang
  - coq-lsp.lsp
  - fleche_waterproof

1
2
3
4
(** Messages from Coq *)
type 'l t = 'l option * int * Pp.t

type coq = Feedback.feedback