vscoq-language-server.lsp
Notification.Client
vscoq-language-server.dm
vscoq-language-server.language
module InterpretToPointParams : sig ... end
module InterpretToEndParams : sig ... end
module StepBackwardParams : sig ... end
module StepForwardParams : sig ... end
type t =
| Std of Lsp.Client_notification.t
| InterpretToEnd of InterpretToEndParams.t
| InterpretToPoint of InterpretToPointParams.t
| StepForward of StepForwardParams.t
| StepBackward of StepBackwardParams.t
val of_jsonrpc : Jsonrpc.Notification.t -> (t, string) result