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

Source file `lsp.ml`

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

1
2
3
4
5
6
7
(* generated by dune *)

(** @canonical Lsp.Base *)
module Base = Lsp__Base

(** @canonical Lsp.Io *)
module Io = Lsp__Io