Lsp (coq-lsp.Lsp)

module Base : sig ... end

module Core : sig ... end

Core LSP protocoal and language types

module Doc : sig ... end

module Io : sig ... end

JSON-RPC input/output

module JCoq : sig ... end

module JFleche : sig ... end

This module contains the OCaml specification of Flèche's / coq-lsp extensions to LSP

module JLang : sig ... end

module Workspace : sig ... end