package coq-lsp

  1. Overview
  2. Docs
module F = Format
module J = Yojson.Safe
val mut : Mutex.t
val debug_fmt : F.formatter ref
val log_error : string -> string -> unit
val log_object : string -> J.t -> unit
val flush_log : unit -> unit
exception ReadError of string
val read_request_raw : in_channel -> J.t
val read_request : in_channel -> J.t
val send_json : F.formatter -> J.t -> unit