SessionPolicy.requests.clone: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/SessionPolicy.bend as SessionPolicy Lines 4-12 of mylsm-lsm-store@0.6.0.1/src/coordinator/SessionPolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/SessionPolicy.bend&start_line=4&end_line=12 import Base import mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend as ClientPolicy # Duplicates the request sequence carried by the same client session state. def requests.clone( sequence: ClientPolicy.RequestSequence ) -> ClientPolicy.RequestSequence & ClientPolicy.RequestSequence: match sequence: case ClientPolicy.RequestAvailable{+id}: (ClientPolicy.RequestAvailable{id}, ClientPolicy.RequestAvailable{id}) case ClientPolicy.RequestExhausted{}: (ClientPolicy.RequestExhausted{}, ClientPolicy.RequestExhausted{}) Uses (3): 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=RequestSequence