def next.result

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

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

9# Separates the increment result from the wrap test.
10def next.result(generation: U32, wraps: Bool) -> Decision:
11  match wraps:
12    case True{}: GenerationExhausted{}
13    case False{}: GenerationReady{generation}

Uses (3)

Used by (1)