seal5.cli.export

Command line subcommand for Exporting Seal5 artifacts

Functions

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