~/jendhub

def next.copies

mylsm-lsm-store@0.6.0.1 · src/coordinator/OwnerGeneration.bend:49

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

49# Advances a stored generation or reports terminal exhaustion.
50def next.copies(copies: U32 & U32) -> Decision:
51  match copies:
52    case (for_increment, for_wrap):
53      next.result(U32.add(for_increment, 1), U32.is_zero(U32.add(for_wrap, 1)))

Uses (7)

Used by (1)