def pad2

import cswap-bend-cli@0.1.0.0/settings.bend as Settings

import Base

235def pad2(+n: Nat) -> String:
236  sel.s(Nat.is_lt(n, 10n), "0", "") ++ U32.show(U32.from_nat(n))

Uses (7)