Module Lsp.JFlecheSource

This module contains the OCaml specification of Flèche's / coq-lsp extensions to LSP

Sourcemodule Config : sig ... end

Server config

Sourceval mk_progress : uri:Lang.LUri.File.t -> version:int -> Fleche.Progress.Info.t list -> Yojson.Safe.t

FileProgress support

Sourcemodule FileProgress : sig ... end
Sourcemodule Message : sig ... end

Goals

Sourcemodule GoalsAnswer : sig ... end
Sourcemodule CompletionStatus : sig ... end

Coq-lsp-specific

Sourcemodule RangedSpan : sig ... end
Sourcemodule FlecheDocument : sig ... end
Sourcemodule SentencePerfData : sig ... end
Sourcemodule DocumentPerfData : sig ... end