seal5.cli.deploy

Command line subcommand for deploying seal5 LLVM.

Functions

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