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
(p String, n i64)
 => 
String
[src]
pad this string at the end with `p` such that its `codepoint_count` is at least `n`.
Precondition
pre
  safety: p.codepoint_count > 0
  debug: n >= 0
Postcondition
post
  debug: result.codepoint_count >= n
  debug: ((result.codepoint_count >= n+p.codepoint_count): result = String.this)
0.099dev (GIT hash d73ed58c41900ddb0f9db04a3da9b8f72f3699ad)
last changed: 2026-09-25