Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Lsp.BaseSource
Source
val mk_diagnostics :
uri:string ->
version:int ->
(Fleche.Types.Range.t * int * string * unit option) list ->
Yojson.Safe.t