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

import Base

def arg_alias_collision(seen: List<&2, Seen>, +name: String) -> Bool:
  match seen:
    case Nil{}: False{}
    case SeenArg{id, short, long} <> tail:
      Bool.or(Bool.or(same_nonempty(name, short),
        same_nonempty(name, long)), arg_alias_collision(tail, name))
    case SeenArgAlias{old} <> tail:
      Bool.or(same_text(name, old), arg_alias_collision(tail, name))
    case head <> tail:
      arg_alias_collision(tail, name)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  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=cli@0.2.0.0/cli.bend&name=Seen
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=same_nonempty
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=same_text