hover
Retrieve type, value, and documentation for an identifier at a specific line and column in HOL4 SML scripts to support proof development.
Instructions
textDocument/hover: type, value and documentation of the identifier.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file | Yes | ||
| line | Yes | ||
| column | Yes |