seal5.cli.init

Command line subcommand for initializing Seal5 environment.

Functions

add_init_options(parser)	Setup parser for init argument group.
get_parser(subparsers)	"Define and return a subparser for the init subcommand.
handle(args)	Callback function which will be called to process the init subcommand