seal5.cli.transform
Command line subcommand for transforming seal5 environment.
Functions
|
Setup parser for transform argument group. |
|
"Define and return a subparser for the transform subcommand. |
|
Callback function which will be called to process the transform subcommand |