package coq-lsp

  1. Overview
  2. Docs
module Config : sig ... end
module Types : sig ... end
val mk_diagnostics : uri:string -> version:int -> Fleche.Types.Diagnostic.t list -> Yojson.Safe.t
val mk_progress : uri:string -> version:int -> Fleche.Progress.Info.t list -> Yojson.Safe.t
module GoalsAnswer : sig ... end
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
module Location : sig ... end
module SymInfo : sig ... end
module HoverContents : sig ... end
module HoverInfo : sig ... end
module LabelDetails : sig ... end
module TextEditReplace : sig ... end
module CompletionData : sig ... end