package coq-lsp

  1. Overview
  2. Docs
val trace : string -> ?extra:string -> string -> unit
val feedback : Loc.t Coq.Message.t list -> unit

For unexpected feedback