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

import Base

def option_names(parsed: Usage, attrs: List<&2, Item>) -> List<&2, String>:
  match parsed:
    case Parsed{id, short, +long, kind}:
      List.concat(&2, String, [
        Bool.pick(List<&2, String>, String.is_empty(long), [], [long]),
        Bool.pick(List<&2, String>,
          Bool.and(kind_negatable(kind), filled(long)),
          [negated_long(long)], []),
        List.filter(~String, ~long_name, find_aliases(attrs)),
      ])
    case Invalid{col}: []

Uses (14):
  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.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.concat
  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=filled
  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=kind_negatable
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=long_name
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=negated_long