def digit.valid.copies

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

import mylsm-lsm-store@0.6.0.1/src/coordinator/StatsCodec.bend as StatsCodec

import Base

48def digit.valid.copies(copies: U32 & U32 & U32) -> Bool:
49  match copies:
50    case (_, (lower, upper)): digit.valid.checked((lower, upper))

Uses (5)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/coordinator/StatsCodec:digit.valid