Module Fleche_lsp

module Base : sig ... end
module Core : sig ... end

Core LSP protocoal and language types

module Doc : sig ... end
module Io : sig ... end
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 JStdlib : sig ... end
module Workspace : sig ... end