module Config : sig ... endval mk_progress :
uri:Lang.LUri.File.t ->
version:int ->
Fleche.Progress.Info.t list ->
Yojson.Safe.tmodule Message : sig ... endmodule GoalsAnswer : sig ... endval 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.tmodule Location : sig ... endGeneric
module LocationLink : sig ... endmodule DocumentSymbol : sig ... endmodule SymInfo : sig ... endNot used as of today, superseded by DocumentSymbol
module HoverContents : sig ... endmodule HoverInfo : sig ... endmodule LabelDetails : sig ... endmodule TextEditReplace : sig ... endmodule CompletionData : sig ... end