package vscoq-language-server

  1. Overview
  2. Docs
module InterpretToPointParams : sig ... end
module InterpretToEndParams : sig ... end
module StepBackwardParams : sig ... end
module StepForwardParams : sig ... end
type 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
val of_jsonrpc : Jsonrpc.Notification.t -> (t, string) result
OCaml

Innovation. Community. Security.