def Time.pad

bend-kube-runtime@0.2.0.0 · src/time.bend:58

import Base

58# n in at least width digits, zero-padded.
59def Time.pad(+n: U32, width: Nat) -> String:
60  Time.pad.go(U32.show(n), width)