def help.opt_width
import shake@0.7.0.0/src/cli.bend as Cliimport 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))))