package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Language Server Protocol native server for Coq

Install

sha256=0f6d12e00d145c36a17c5a6661bae83ae9e86b4cb09638d1d1a70f42abfdfdde

sha512=33200cfa5d9c44f8af7fd26fd4aca85a11b5639a73080a1f002993be1594cbbef6447aa6116a2c9527d2734d34c718c1adf51ee3aff1c8efbfb86d2cb4059335

Sourceval message : io:CallBack.t -> lvl:int -> message:string -> unit

User-visible message

val diagnostics : 
  io:CallBack.t ->
  uri:Lang.LUri.File.t ->
  version:int ->
  Lang.Diagnostic.t list ->
  unit

val fileProgress : 
  io:CallBack.t ->
  uri:Lang.LUri.File.t ->
  version:int ->
  Progress.Info.t list ->
  unit

val perfData : 
  io:CallBack.t ->
  uri:Lang.LUri.File.t ->
  version:int ->
  Perf.t ->
  unit