fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion • Library Modules • base • String • pad

pad

String.pad

pad
(
n i64
)
 => 
String
[src]
pad this string at the end with spaces such that its `codepoint_count` is at least `n`.
Precondition
pre
  debug: n >= 0
Postcondition
post
  debug: result.codepoint_count >= n
  debug: ((result.codepoint_count != n): result = String.this)

Arguments

n
 i64
[src]
0.099dev (GIT hash bf4ead724d7f3fdab43a87b63c17477c916c8995)
last changed: 2026-11-04