def Format.pad_n.go
import bend-time-lib@0.4.0.1/format.bend as Formatimport Base
59def Format.pad_n.go(k: Nat, +n: U32, acc: String) -> String:
60 match k:
61 case 0n:
62 acc
63 case 1n++p:
64 Format.pad_n.go(
65 p, U32.div(n, 10), SCon{Format.digit(U32.mod(n, 10)), acc}
66 )