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

import Base

def short_names(parsed: Usage, attrs: List<&2, Item>) -> List<&2, String>:
  match parsed:
    case Parsed{id, +short, long, kind}:
      List.append(&2, String,
        Bool.pick(List<&2, String>, String.is_empty(short), [], [short]),
        List.filter(~String, ~short_alias, find_aliases(attrs)))
    case Invalid{col}: []

Uses (10):
  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.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.filter
  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=Usage
  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=short_alias