seal5.cli.reset

Command line subcommand for resetting the seal5 environment.

Functions

add_reset_options(parser)
get_parser(subparsers)	"Define and return a subparser for the reset subcommand.
handle(args)	Callback function which will be called to process the reset subcommand