package coq-lsp

  1. Overview
  2. Docs
module F = Stdlib.Format
module J = Yojson.Safe
val mut : Mutex.t
val debug_fmt : F.formatter Stdlib.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 : Stdlib.in_channel -> J.t
val read_request : Stdlib.in_channel -> J.t
val send_json : F.formatter -> J.t -> unit
OCaml

Innovation. Community. Security.