def header.inspect.size

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

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

622def header.inspect.size(
623  pair: Bytes.Bytes & U32,
624  max_payload_bytes: Nat
625) -> HeaderDecision:
626  match pair:
627    case (input, size):
628      header.inspect.sized.copies(input, u32.duplicate.triple(size),
629        max_payload_bytes)