~/jendhub

def response.generation.checked

mylsm-lsm-store@0.6.0.1 · src/coordinator/ClientPolicy.bend:46

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

46def response.generation.checked(
47  generations: Nat & Nat,
48  current_generation: Nat
49) -> Decision:
50  match generations:
51    case (generation, checked_generation):
52      response.generation.result(generation,
53        Nat.is_eq(checked_generation, current_generation))

Uses (6)

Used by (1)