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

import Base

def arg_alias_issue(+name: String, +at: String,
    seen: List<&2, Seen>, version: Bool) -> List<&2, Problem>:
  Bool.pick(List<&2, Problem>, valid_arg_alias(name),
    Bool.pick(List<&2, Problem>, Bool.or(String.eq(name, "--help"),
      Bool.and(version, String.eq(name, "--version"))),
      [Reserved{at, name}],
      when_problem(arg_alias_collision(seen, name), Dup{at, name})),
    [BadName{at, name}])

Uses (12):
  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.or
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  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=arg_alias_collision
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=valid_arg_alias
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=when_problem