Module Linol_lwt.Diagnostic
type t = {code : Linol_jsonrpc.Jsonrpc.Id.t option;codeDescription : Linol_lsp__Types.CodeDescription.t option;data : Linol_lsp.Import.Json.t option;message : [ `String of string
| `MarkupContent of Linol_lsp__Types.MarkupContent.t ];range : Linol_lsp__Types.Range.t;relatedInformation : Linol_lsp__Types.DiagnosticRelatedInformation.t list
option;severity : Linol_lsp__Types.DiagnosticSeverity.t option;source : string option;tags : Linol_lsp__Types.DiagnosticTag.t list option;
}val create :
?code:Linol_jsonrpc.Jsonrpc.Id.t ->
?codeDescription:Linol_lsp__Types.CodeDescription.t ->
?data:Linol_lsp.Import.Json.t ->
message:
[ `String of string | `MarkupContent of Linol_lsp__Types.MarkupContent.t ] ->
range:Linol_lsp__Types.Range.t ->
?relatedInformation:Linol_lsp__Types.DiagnosticRelatedInformation.t list ->
?severity:Linol_lsp__Types.DiagnosticSeverity.t ->
?source:string ->
?tags:Linol_lsp__Types.DiagnosticTag.t list ->
unit ->
t