def env.sub.args
import shake@0.7.0.0/src/cli.bend as Cliimport Base
1698# the arguments of a found subcommand, or none
1699def env.sub.args(found: Maybe<&2, Sub>) -> List<&2, Arg>:
1700 match found:
1701 case None{}:
1702 []
1703 case Some{ss}:
1704 Sub{_n, _a, args, _k} = ss
1705 args