pad_left
String.pad_left
pad this string at the beginning with `p` such that its `codepoint_length` is at least `n`.
Precondition
pre safety: p.codepoint_length > 0 debug: n >= 0
Postcondition
post debug: result.codepoint_length >= n debug: ((result.codepoint_length >= n+p.codepoint_length): result = String.this)
0.095dev (GIT hash cad6e82a0e3c9c244c113471b376798c2d702f2d)