pad
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.095dev (GIT hash 6fe4713e6f0ffc9fa21235ced6756ebe4d5da1fe)
last changed: 2026-05-22