package coq-lsp

  1. Overview
  2. Docs
module Message : sig ... end

Basic JSON-RPC Incoming Messages

module VersionedTextDocument : sig ... end
val mk_notification : method_:string -> params:Yojson.Safe.t -> Yojson.Safe.t

Build notification

val mk_reply : id:int -> result:Yojson.Safe.t -> Yojson.Safe.t

Answer to a request

val mk_request_error : id:int -> code:int -> message:string -> Yojson.Safe.t

Fail a request