def is_digit

import bend-kit-time@0.3.0.0/time.bend as Time

import Base

387def is_digit(+c: U32) -> Bool:
388  Bool.and(U32.is_ge(c, 48), U32.is_le(c, 57))

Uses (5)