9 | %language ElabReflection
13 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#diagnostic
17 | export
22 | export
29 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#diagnostic
33 | export
40 | export
48 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#diagnostic
56 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#diagnostic
63 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#diagnostic
79 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_publishDiagnostics
86 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_publishDiagnostics
97 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_publishDiagnostics