def digit.valid.checked
import mylsm-lsm-store@0.6.0.1/src/coordinator/StatsCodec.bend as StatsCodecimport Base
44def digit.valid.checked(copies: U32 & U32) -> Bool:
45 match copies:
46 case (lower, upper): U32.is_le(48, lower) && U32.is_le(upper, 57)