Protocol.decode.header.pair: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol Lines 551-557 of mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&start_line=551&end_line=557 import Base import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes def decode.header.pair( pair: Bytes.Bytes & U32, max_payload_bytes: Nat ) -> FrameDecision: match pair: case (input, size): decode.header.size(input, max_payload_bytes, size) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat 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=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=FrameDecision https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=decode.header.size