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_reply : id:int -> result:Yojson.Safe.t -> Yojson.Safe.tval mk_diagnostics :
uri:string ->
version:int ->
(Fleche.Types.Range.t * int * string * unit option) list ->
Yojson.Safe.tval std_protocol : bool ref