Narya Toc
narya_tocOutline a .ny file by listing its commands, names, line ranges, and which definitions contain holes without running Narya.
Instructions
Outline of a .ny file: its commands (def/axiom/notation/import/...) with names and line ranges, and which definitions contain holes. Static; does not run Narya.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||