def env.bad.args
import shake@0.7.0.0/src/cli.bend as Cliimport Base
1686# the first argument of a command bound to an env value outside its choices
1687def env.bad.args(
1688 args: List<&2, Arg>,
1689 +vars: List<&2, Var>,
1690 +binds: List<&2, Bind>
1691) -> Maybe<&2, Var>:
1692 match args:
1693 case Nil{}:
1694 None{}
1695 case Con{hh, tt}:
1696 env.first(env.bad.arg(hh, vars, binds), env.bad.args(tt, vars, binds))