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

import Base

def arg_display(info: ArgInfo) -> String:
  match info:
    case ArgInfo{id, +usage, +short, long, kind, attrs}:
      Bool.pick(String, Bool.and(Bool.not(String.is_empty(short)),
        Bool.not(String.is_empty(long))),
        String.drop(usage, Nat.add(String.length(short), 2n)), usage)

Uses (9):
  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=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ArgInfo