Iso8601.Iso8601.show_u32: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
Lines 76-78 of bend-time-lib@0.4.0.1/iso8601.bend: https://jend.leeeet.dev/read.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&start_line=76&end_line=78

import Base

def Iso8601.show_u32(+n: U32) -> String:
  +s = Iso8601.pad_n(n, 10n)
  Iso8601.strip0(10n, s, Iso8601.lead0(s))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.lead0
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.pad_n
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.strip0