coq-lsp.lsp
Lsp.Log
coq-lsp.coq
coq-lsp.fleche
val start_log : client_cb:(string -> unit) -> string -> unit
Set the error formatter output
val end_log : unit -> unit
val log_error : string -> string -> unit
Log string to server error log
val log_object : string -> Yojson.Safe.t -> unit
Log JSON object to server error log