Base (coq-lsp.Lsp.Base)

module Params : sig ... end

module Notification : sig ... end

module Request : sig ... end

module Response : sig ... end

module Message : sig ... end

Basic JSON-RPC Incoming Messages

Build request

module ProgressToken : sig ... end

Progress

module ProgressParams : sig ... end

val mk_progress : 
  token:ProgressToken.t ->
  value:'a ->
  ('a -> Yojson.Safe.t) ->
  Yojson.Safe.t

module WorkDoneProgressBegin : sig ... end

module WorkDoneProgressReport : sig ... end

module WorkDoneProgressEnd : sig ... end