def decode.words.payload_length.expected.copies

mylsm-lsm-store@0.6.0.1 · src/coordinator/Protocol.bend:298

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

298def decode.words.payload_length.expected.copies(
299  input: Bytes.Bytes,
300  +size: U32,
301  +version: U32,
302  +generation: U32,
303  +request_id: U32,
304  +operation: U32,
305  +payload_length: U32,
306  expected: Nat & Nat,
307  within_limit: Bool
308) -> FrameDecision:
309  match expected:
310    case (exact_expected, short_expected):
311      decode.words.payload_length.size.copies(input, version,
312        generation, request_id, operation, payload_length, exact_expected, short_expected,
313        within_limit, nat.duplicate.pair(U32.to_nat(size)))