package vscoq-language-server

  1. Overview
  2. Docs
val mk_log : string -> (string -> unit) Types.log
val logs : unit -> string list
type event
type events = event Sel.Event.t list
val lsp_initialization_done : unit -> events
val handle_event : event -> unit
val worker_initialization_begins : unit -> unit
val worker_initialization_done : fwd_event:(event -> unit) -> unit
val feedback_add_feeder_on_Message : (Feedback.route_id -> Stateid.t -> Feedback.doc_id -> Feedback.level -> Loc.t option -> 'a list -> Pp.t -> unit) -> int
OCaml

Innovation. Community. Security.