8 | %language ElabReflection
11 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#command
20 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#workspace_executeCommand
27 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#workspace_executeCommand
35 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#workspace_executeCommand
43 | ||| Refer to https://microsoft.github.io/language-server-protocol/specification.html#workspace_executeCommand