seal5.cli.patch

Command line subcommand for Applying Seal5 patches.

Functions

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