def item.header.compare

mylsm-lsm-store@0.6.0.1 · src/coordinator/CursorCodec.bend:280

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

280# Checks header capacity while retaining its total for later framing checks.
281def item.header.compare(
282  payload: Bytes.Bytes,
283  sizes: U32 & U32,
284  is_item: Bool
285) -> Decision:
286  match sizes:
287    case (checked_size, retained_size):
288      item.header.checked(U32.is_le(9, checked_size) && is_item, payload,
289        retained_size)