def header.inspect.sized.copies

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

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

611def header.inspect.sized.copies(
612  input: Bytes.Bytes,
613  sizes: U32 & U32 & U32,
614  max_payload_bytes: Nat
615) -> HeaderDecision:
616  match sizes:
617    case (size, (checked_size, _)):
618      header.inspect.sized(input, max_payload_bytes,
619        Nat.is_le(24n, U32.to_nat(size)),
620        Nat.is_eq(24n, U32.to_nat(checked_size)))