~/jendhub

def help.cmd_width

shake@0.7.0.0 · src/cli.bend:1895

import shake@0.7.0.0/src/cli.bend as Cli
import Base

1895# max command-name width, including `help`
1896def help.cmd_width(subs: List<&2, Sub>, nn: Nat) -> Nat:
1897  match subs:
1898    case Nil{}:
1899      help.max(nn, String.length("help"))
1900    case Con{+h, t}:
1901      help.cmd_width(t, help.max(nn, String.length(help.sub_name(h))))

Uses (6)

Used by (1)