seal5.cli.init
Command line subcommand for initializing Seal5 environment.
Functions
|
|
|
"Define and return a subparser for the init subcommand. |
|
Callback function which will be called to process the init subcommand |
Command line subcommand for initializing Seal5 environment.
Functions
|
|
|
"Define and return a subparser for the init subcommand. |
|
Callback function which will be called to process the init subcommand |