def pad4

cswap-bend-cli@0.1.0.0 · clock.bend:35

import cswap-bend-cli@0.1.0.0/clock.bend as Clock

import Base

35def pad4(+n: U32) -> String:
36  sel.s(U32.is_lt(n, 10), "000", sel.s(U32.is_lt(n, 100), "00", sel.s(U32.is_lt(n, 1000), "0", ""))) ++ U32.show(n)

Uses (6)

Used by (1)

cswap-bend-cli@0.1.0.0/clock:iso.fmt