JFleche (coq-lsp.Lsp.JFleche)

module Config : sig ... end

Server config

val mk_progress : 
  uri:Lang.LUri.File.t ->
  version:int ->
  Fleche.Progress.Info.t list ->
  Base.Notification.t

FileProgress support

module FileProgress : sig ... end

module Message : sig ... end

Goals

module GoalsAnswer : sig ... end

module CompletionStatus : sig ... end

Coq-lsp-specific

module RangedSpan : sig ... end

module FlecheDocument : sig ... end

module SentencePerfData : sig ... end

module DocumentPerfData : sig ... end

val mk_perf : 
  uri:Lang.LUri.File.t ->
  version:int ->
  Fleche.Perf.t ->
  Base.Notification.t

val mk_serverVersion : Fleche.ServerInfo.Version.t -> Base.Notification.t

val mk_serverStatus : Fleche.ServerInfo.Status.t -> Base.Notification.t