def Format.pad_n
import bend-time-lib@0.4.0.1/format.bend as Formatimport Base
68def Format.pad_n(n: U32, k: Nat) -> String:
69 Format.pad_n.go(k, n, SNil{})
import bend-time-lib@0.4.0.1/format.bend as Formatimport Base
68def Format.pad_n(n: U32, k: Nat) -> String:
69 Format.pad_n.go(k, n, SNil{})