definition
Finds where an identifier is defined given a file, line, and column, returning the path:line:column. Use for navigating HOL4 SML code.
Instructions
textDocument/definition: where the identifier is defined (path:line:column).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file | Yes | ||
| line | Yes | ||
| column | Yes |