package vscoq-language-server
VSCoq language server
Install
Dune Dependency
Authors
Maintainers
Sources
vscoq-language-server-2.2.3.tar.gz
md5=c8f21aebcdbc9a82201e0ae2ef27e381
sha512=aa520998f9d4a1f80327a584ddb9a3ad8cea3a846b45784231a4a29a1734d8deed0670ba66fabd097016641c619fd580e09f1da060bfdce4bf4275396d21a8b6
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;
}