Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val read_request : in_channel -> Yojson.Safe.tRead a JSON-RPC request from channel
val send_json : Format.formatter -> Yojson.Safe.t -> unitSend a JSON-RPC request to channel
val logMessage : Format.formatter -> lvl:int -> message:string -> unitSend a window/logMessage notification to the client
val logTrace :
Format.formatter ->
message:string ->
?verbose:string ->
unit ->
unitSend a $/logTrace notification to the client