10 | %language ElabReflection
13 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_documentHighlight
20 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_documentHighlight
27 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_documentHighlight
35 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_documentHighlight
45 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_documentHighlight
50 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_documentHighlight
51 | export
57 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_documentHighlight
58 | export
65 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_documentHighlight