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
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