package vscoq-language-server
VSCoq language server
Install
Dune Dependency
Authors
Maintainers
Sources
vscoq-language-server-2.2.4.tar.gz
md5=44ada383e4a3cb23d883eb720391e9db
sha512=e55ddda2beb5abbe5eb63c7ba6761b1f958dc4674178c4b5741082665d8ad15d481c978685dcf648afebb9b07abd95069347b8651f078d87820399f459e16f17
doc/vscoq-language-server.lsp/Protocol/Settings/Proof/index.html
Module Settings.ProofSource
Source
type t = {delegation : DelegationMode.t;workers : int option;mode : Mode.t;block : bool;pointInterpretationMode : PointInterpretationMode.t;
}