Clock.pad2: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/clock.bend as Clock Lines 32-33 of cswap-bend-cli@0.1.0.0/clock.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&start_line=32&end_line=33 import Base def pad2(+n: U32) -> String: sel.s(U32.is_lt(n, 10), "0" ++ U32.show(n), U32.show(n)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=sel.s