references
Locate all usages of a symbol by providing its file, line, and column to understand code dependencies.
Instructions
textDocument/references (says so if the server does not support it; current HOL does not).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file | Yes | ||
| line | Yes | ||
| column | Yes |