Cli.value_issue: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 2100-2107 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2100&end_line=2107

import Base

# A value from env or a default converts each element on its own (§8.2).
def value_issue(kind: UsageKind, attrs: List<&2, Item>,
    +value: String) -> Maybe<&2, Bad>:
  match kind:
    case FlagKind{}: bad_value(type_reason(TBool{}, value), value)
    case NegatableKind{}: bad_value(type_reason(TBool{}, value), value)
    case CountKind{}: bad_value(type_reason(TNat{}, value), value)
    case _: value_bad(attrs, value)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Bad
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=UsageKind
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ValueType
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=bad_value
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=type_reason
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=value_bad