def Iso8601.digit

import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601

import Base

44def Iso8601.digit(n: U32) -> Char:
45  Char.from_u32((Char.to_u32('0') + n : U32))

Uses (5)