The operand slots a record stores: the trimmed prefix in the compact
format; all seven in the aligned format (its reader has fixed offsets).
479def nativePhysicalImageStoredOperands =
480 (lambda unrestricted format : (family NativePhysicalImageFormat) .
481 (lambda unrestricted operands : Bytes .
482 (eliminate NativePhysicalImageFormat (lambda unrestricted current : (family NativePhysicalImageFormat) . Bytes) format
483 (branch NativePhysicalImageCompactV4 . operands)
484 (branch NativePhysicalImageAlignedV3 .
485 (bytes-append operands
486 (nativePhysicalImageZeroPad
487 (naturalSaturatingSubtract nativePhysicalImageCommandOperandBytes (bytes-length operands))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.