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/ExtProtocol/Notification/Client/index.html
Module Notification.ClientSource
Source
type t = | Std of Lsp.Client_notification.t| InterpretToEnd of InterpretToEndParams.t| InterpretToPoint of InterpretToPointParams.t| StepForward of StepForwardParams.t| StepBackward of StepBackwardParams.t