JFleche (p.coq-lsp.0.1.5+8.16.doc.coq-lsp.lsp.Lsp.JFleche)

Sourcemodule Config : sig ... end

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

Sourcemodule Message : sig ... end

Sourcemodule GoalsAnswer : sig ... end

Source

val mk_goals : 
  uri:Lang.LUri.File.t ->
  version:int ->
  position:Lang.Point.t ->
  goals:Coq.Goals.reified_pp option ->
  messages:Pp.t Message.t list ->
  error:Pp.t option ->
  Yojson.Safe.t

Sourcemodule Location : sig ... end

Generic

Sourcemodule LocationLink : sig ... end

DocumentSymbols

Sourcemodule DocumentSymbol : sig ... end

Sourcemodule SymInfo : sig ... end

Not used as of today, superseded by DocumentSymbol

Hover

Sourcemodule HoverContents : sig ... end

Sourcemodule HoverInfo : sig ... end

Completion

Sourcemodule LabelDetails : sig ... end

Sourcemodule TextEditReplace : sig ... end

Sourcemodule CompletionData : sig ... end