def help.pad

shake@0.7.0.0 · src/cli.bend:211

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

import Base

211# s padded on the right to width n
212def help.pad(+ss: String, nn: Nat) -> String:
213  ss ++ help.spaces(Nat.sub(nn, String.length(ss)))

Uses (6)

Used by (3)