Client.response.validation.fields: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend as Client
Lines 135-152 of mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&start_line=135&end_line=152

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

def response.validation.fields(
  response_fields: U32 & U32 & U32,
  request_fields: U32 & U32 & U32,
  generations: U32 & U32 & U32
) -> Policy.Decision:
  match response_fields:
    case (version, (response_generation, request_id)):
      match request_fields:
        case (request_version, (request_generation, expected_id)):
          match generations:
            case (response_generation_check,
                (request_generation_check, generation)):
              Policy.response.validate(
                U32.to_nat(generation),
                U32.is_eq(response_generation, response_generation_check) &&
                  U32.is_eq(request_generation, request_generation_check),
                U32.is_eq(version, request_version) &&
                  U32.is_eq(request_id, expected_id))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  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.validate