Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val mk_range : Fleche.Types.Range.t -> Yojson.Safe.tval mk_notification :
method_:string ->
params:(string * Yojson.Safe.t) list ->
Yojson.Safe.tBuild notification
val mk_reply : id:int -> result:Yojson.Safe.t -> Yojson.Safe.tAnswer to a request
val mk_request_error : id:int -> code:int -> message:string -> Yojson.Safe.tFail a request
val mk_diagnostics :
uri:string ->
version:int ->
(Fleche.Types.Range.t * int * string * unit option) list ->
Yojson.Safe.t