pad_left
String.pad_left
pad this string at the beginning 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.097dev (GIT hash 0d8d2fabe31a27a00535b72694bf38cebdbb4cdd)