JFleche (p.coq-lsp.0.1.4+v8.16.doc.coq-lsp.lsp.Lsp.JFleche)

Sourcemodule Config : sig ... end

Sourcemodule Types : sig ... end

val mk_diagnostics : 
  uri:string ->
  version:int ->
  Fleche.Types.Diagnostic.t list ->
  Yojson.Safe.t

Source

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

Sourcemodule GoalsAnswer : sig ... end

Source

val mk_goals : 
  uri:string ->
  version:int ->
  position:Fleche.Types.Point.t ->
  goals:Coq.Goals.reified_pp option ->
  messages:Pp.t list ->
  error:Pp.t option ->
  Yojson.Safe.t

Sourcemodule Location : sig ... end

Sourcemodule SymInfo : sig ... end

Sourcemodule HoverContents : sig ... end

Sourcemodule HoverInfo : sig ... end

Sourcemodule LabelDetails : sig ... end

Sourcemodule TextEditReplace : sig ... end

Sourcemodule CompletionData : sig ... end