def Format.digit

import bend-time-lib@0.4.0.1/format.bend as Format

import Base

38def Format.digit(n: U32) -> Char:
39  Char.from_u32((Char.to_u32('0') + n : U32))

Uses (5)