def help.opt_width

shake@0.7.0.0 · src/cli.bend:1853

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

1853# the max option-label width
1854def help.opt_width(args: List<&2, Arg>, nn: Nat) -> Nat:
1855  match args:
1856    case Nil{}:
1857      nn
1858    case Con{+h, t}:
1859      help.opt_width(t, help.max(nn, String.length(help.label(h))))

Uses (6)

Used by (1)