package coq-lsp
Language Server Protocol native server for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
coq-lsp-0.1.9.8.19.tbz
sha256=ef664281ab6e242dd79374cbbe4f177f2f071d3457cd3b75c23643948d475961
sha512=3c180c0c2e1218936b6cacb37197370cf80be4c372c46e38a2ab403a5a6e99cd6403f927ecfc017aefa2ead856abb389d48feb183049bf2c7badb029ce13f1ee
doc/coq-lsp.lsp/Lsp/Core/DocumentSymbol/index.html
Module Core.DocumentSymbolSource
Source
type t = {name : string;detail : string option;kind : int;deprecated : bool option;range : Lang.Range.t;selectionRange : Lang.Range.t;children : t list option;
}