11 | %language ElabReflection
14 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeLens
21 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeLens
29 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeLens
38 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeLens
47 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeLens
56 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#codeLens_refresh