def Iso8601.show_u32
import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601import Base
76def Iso8601.show_u32(+n: U32) -> String:
77 +s = Iso8601.pad_n(n, 10n)
78 Iso8601.strip0(10n, s, Iso8601.lead0(s))
import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601import Base
76def Iso8601.show_u32(+n: U32) -> String:
77 +s = Iso8601.pad_n(n, 10n)
78 Iso8601.strip0(10n, s, Iso8601.lead0(s))