Cli.help.arg_line: def of shake@0.7.0.0 Import: import shake@0.7.0.0/src/cli.bend as Cli Lines 1954-1957 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=1954&end_line=1957 import Base # one Arguments line, given the label width def help.arg_line(+aa: Arg, ww: Nat) -> String: Arg{_n, _s, _l, _k, +h, _r, _d, _c} = aa " " ++ help.pad(help.pos.label(aa), ww) ++ " " ++ h ++ help.extra(aa) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Arg https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=help.extra https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=help.pad https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=help.pos.label