def digit

import bend-kit-json@0.7.0.0/json.bend as Json

import Base

123def digit(+c: U32) -> Bool:
124  Bool.and(U32.is_le(48, c), U32.is_le(c, 57))

Uses (4)