Expand description
Argument grammar of lean-ctx workspace … (#2120), shared by the command
and by the agent-shell allowlist, so both judge the same verb.
Structs§
- Parsed
- One parsed
lean-ctx workspaceinvocation.
Functions§
- parse
- Parse the arguments after
lean-ctx workspace.