pad_center
String.pad_center
Precondition
pre debug: n >= 0
Postcondition
post debug: result.codepoint_count >= n debug: ((result.codepoint_count != n): result = String.this)
0.095dev (GIT hash 6fe4713e6f0ffc9fa21235ced6756ebe4d5da1fe)
pre debug: n >= 0
post debug: result.codepoint_count >= n debug: ((result.codepoint_count != n): result = String.this)
In case the required number of codepoints to add is odd, the padding at the end will be longer.