10 | %language ElabReflection
13 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_moniker
20 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_moniker
27 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_moniker
35 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_moniker
46 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_moniker
50 | export
58 | export
67 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_moniker
72 | export
78 | export
85 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_moniker