Cli.env.bad.val: def of shake@0.7.0.0
Import: import shake@0.7.0.0/src/cli.bend as Cli
Lines 1654-1670 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=1654&end_line=1670

import Base

# an argument bound to an env value outside its choices: never a flag, and
# only for a value its command's bindings hold
def env.bad.val(
  found: Maybe<&2, String>,
  kk: ArgKind,
  +name: String,
  +cs: List<&2, String>,
  +binds: List<&2, Bind>
) -> Maybe<&2, Var>:
  match found:
    case None{}:
      None{}
    case Some{+vv}:
      Bool.pick(Maybe<&2, Var>,
        Bool.and(Bool.not(env.flag.is(kk)), Bool.and(Bool.not(allowed(cs, vv)),
          List.contains(~String, ~String.eq, get_all.bind(binds, name), vv))),
        Some{(name, vv)}, None{})

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.contains
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=ArgKind
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Bind
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Var
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=allowed
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=env.flag.is
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=get_all.bind