Client.session.clone.ready: 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 368-380 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=368&end_line=380 import Base import mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend as Policy def session.clone.ready( endpoints: String & String, generations: U32 & U32, requests: Policy.RequestSequence & Policy.RequestSequence ) -> Session & Session: match endpoints: case (first_endpoint, second_endpoint): match generations: case (first_generation, second_generation): match requests: case (first_requests, second_requests): (Session{first_endpoint, first_generation, first_requests}, Session{second_endpoint, second_generation, second_requests}) Uses (6): 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=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&name=Session https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend&name=RequestSequence