package vscoq-language-server

  1. Overview
  2. Docs

Module Notification.ClientSource

Sourcemodule InterpretToPointParams : sig ... end
Sourcemodule InterpretToEndParams : sig ... end
Sourcemodule StepBackwardParams : sig ... end
Sourcemodule StepForwardParams : sig ... end
Sourcetype t =
  1. | Std of Lsp.Client_notification.t
  2. | InterpretToEnd of InterpretToEndParams.t
  3. | InterpretToPoint of InterpretToPointParams.t
  4. | StepForward of StepForwardParams.t
  5. | StepBackward of StepBackwardParams.t
Sourceval of_jsonrpc : Jsonrpc.Notification.t -> (t, string) result