def num.ok.digit

import emerging-ezjson@1.4.0.0/src/value.bend as Value

import Base

120def num.ok.digit(+cp: U32) -> Bool:
121  Bool.and(U32.is_ge(cp, 48), U32.is_le(cp, 57))

Uses (5)