ClientPolicy.response.generation.checked: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend as ClientPolicy
Lines 46-53 of mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend&start_line=46&end_line=53

import Base

def response.generation.checked(
  generations: Nat & Nat,
  current_generation: Nat
) -> Decision:
  match generations:
    case (generation, checked_generation):
      response.generation.result(generation,
        Nat.is_eq(checked_generation, current_generation))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend&name=response.generation.result