ClientPolicy.response.generation.result: 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 38-44 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=38&end_line=44 import Base def response.generation.result( generation: Nat, generation_matches: Bool ) -> Decision: match generation_matches: case True{}: ClientConfirmed{RequestCompleted{generation}} case False{}: ClientStaleOwner{} 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