coq-lsp.fleche
Io.Log
Astdump_plugin
Count_genargs_plugin
Example_plugin
Explain_errors
Goaldumpl_plugin
Savevo_plugin
Unidiff_plugin
coq-lsp.coq
coq-lsp.lang
coq-lsp.layout-printer
coq-lsp.lsp
coq-lsp.petanque
coq-lsp.plugin
coq-lsp.request
coq-lsp.serlib
fleche_waterproof
petanque_json
petanque_shell
serlib_btauto
serlib_cc
serlib_extraction
serlib_firstorder
serlib_funind
serlib_ltac
serlib_ltac2
serlib_ltac2_ltac1
serlib_micromega
serlib_micromega_core
serlib_number_string_notation_plugin
serlib_ring
serlib_ssr
serlib_ssrmatching
serlib_tauto
serlib_zify
val set_trace_value : TraceValue.t -> unit
Set the trace value
val trace : string -> ?verbose:string -> ('a, Format.formatter, unit) format -> 'a
trace component ?verbose params Debug trace, using printf
trace component ?verbose params
val trace_ : string -> ?verbose:string -> string -> unit
Direct string-based method
val trace_object : string -> Yojson.Safe.t -> unit
Log JSON object to server info log
val feedback : string -> Loc.t Coq.Message.t list -> unit
For unhandled feedback, for example when running hover, remove eventually?