Up – Package index » vscoq-language-server » Sources » vscoq-language-server.language » language.ml

Source file `language.ml`

vscoq-language-server
- README
- Library vscoq-language-server.dm
  - Dm
- Library vscoq-language-server.language
  - Language
- Library vscoq-language-server.lsp
  - Protocol
- Sources
  - vscoq-language-server.dm
  - vscoq-language-server.language
    - hover.ml
    - language.ml
  - vscoq-language-server.lsp

1
2
3
4
(* generated by dune *)

(** @canonical Language.Hover *)
module Hover = Language__Hover