ClientPolicy.response.validate: 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 62-72 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=62&end_line=72

import Base

def response.validate(
  generation: Nat,
  generation_matches: Bool,
  correlation_matches: Bool
) -> Decision:
  match generation_matches:
    case False{}: ClientStaleOwner{}
    case True{}:
      match correlation_matches:
        case True{}: ClientConfirmed{RequestCompleted{generation}}
        case False{}: ClientProtocolFailure{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=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=State