def digit

import bend-net-json@0.3.0.0/json.bend as Json

import Base

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

Uses (4)