ParsedKeyin Interface
Successful result from ToolRegistry.parseKeyin.
extensions
Properties
| Name | Type | Description | |
|---|---|---|---|
| args | string[] | The parsed arguments to be passed to Tool.parseAndRun. | |
| ok | "true" | Union discriminator for ParseKeyinResult. | |
| tool | undefined | The constructor for the Tool that handles the keyin. |
Defined in
- core/frontend/src/tools/Tool.ts Line 918
Last Updated: 20 June, 2023