def Time.pad.go

import bend-kube-runtime@0.2.0.0/src/time.bend as Time

import Base

55def Time.pad.go(+s: String, width: Nat) -> String:
56  String.repeat("0", Nat.sub(width, String.length(s))) ++ s

Uses (6)