Cli.arg_problems: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 2205-2221 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2205&end_line=2221 import Base def arg_problems(parsed: Usage, +usage: String, help: String, +attrs: List<&2, Item>, remaining: List<&2, LintItem>, +at: String, ids: List<&2, String>, +seen: List<&2, Seen>, optional: Bool, variadic: Bool, +version: Bool) -> List<&2, Problem>: match parsed: case Invalid{col}: List.append(&2, Problem, [BadUsage{at, usage, col}], when_problem(Bool.and(String.is_empty(help), Bool.not(has_hidden(attrs))), NoHelp{at, usage})) case Parsed{derived, +short, +long, +kind}: +id = use_id(find_id(attrs), derived) +aliases = find_aliases(attrs) List.append(&2, Problem, arg_issues(kind, id, short, long, usage, help, attrs, remaining, at, ids, seen, optional, variadic, version), arg_alias_issues(aliases, at, SeenArg{id, short, long} <> seen, version)) Uses (19): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool 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=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty 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=LintItem https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Problem https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Seen https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Usage https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_alias_issues https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_issues https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=find_aliases https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=find_id https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=has_hidden https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=use_id https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=when_problem