def next.checked

mylsm-lsm-store@0.6.0.1 · src/coordinator/CursorCountPolicy.bend:9

import Base

9# Increments a cursor count without wrapping its fixed-width representation.
10def next.checked(count: U32, maximum: Bool) -> Decision:
11  match maximum:
12    case True{}: CountLimit{}
13    case False{}: CountContinue{U32.from_nat(Nat.add(U32.to_nat(count), 1n))}