You can search for identifiers within the package.
in-package search v0.2.0
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lsp
Lsp.Io
val read_request : in_channel -> Yojson.Safe.t
Read a JSON-RPC request from channel
exception ReadError of string
val send_json : Format.formatter -> Yojson.Safe.t -> unit
Send a JSON-RPC request to channel
val logMessage : Format.formatter -> lvl:int -> message:string -> unit
Send a window/logMessage notification to the client
window/logMessage
val logTrace : Format.formatter -> message:string -> ?verbose:string -> unit -> unit
Send a $/logTrace notification to the client
$/logTrace