def decode.response.size

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

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

695def decode.response.size(
696  pair: Bytes.Bytes & U32,
697  +version: U32,
698  +generation: U32,
699  +request_id: U32
700) -> ResponseDecision:
701  match pair:
702    case (input, +size):
703      decode.response.minimum(input, version, generation, request_id,
704        Nat.is_le(4n, U32.to_nat(size)))