def arg_display

cli@0.2.0.0 · cli.bend:2513

import cli@0.2.0.0/cli.bend as Cli

import Base

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

Uses (9)

Used by (14)