def digit.valid.checked

mylsm-lsm-store@0.6.0.1 · src/coordinator/StatsCodec.bend:44

import mylsm-lsm-store@0.6.0.1/src/coordinator/StatsCodec.bend as StatsCodec
import 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)

Uses (6)

Used by (1)