~/jendhub

def help.arg_width

shake@0.7.0.0 · src/cli.bend:1959

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

1959# the max positional-label width
1960def help.arg_width(args: List<&2, Arg>, nn: Nat) -> Nat:
1961  match args:
1962    case Nil{}:
1963      nn
1964    case Con{+h, t}:
1965      help.arg_width(t, help.max(nn, String.length(help.pos.label(h))))

Uses (6)

Used by (1)