def num.ok.lead

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

import Base

126def num.ok.lead(+cp: U32) -> Bool:
127  Bool.and(U32.is_ge(cp, 49), U32.is_le(cp, 57))

Uses (5)