Up – Package index » coq-lsp » Library coq-lsp.lsp » Lsp » Workspace

Module `Lsp.Workspace`Source

Sourcemodule WorkspaceFolder : sig ... end

Sourcemodule WorkspaceFoldersChangeEvent : sig ... end

Sourcemodule DidChangeWorkspaceFoldersParams : sig ... end