230def nativeCheckpointChunkBytes =
231 (lambda unrestricted layout : (family NativeCheckpointLayout) .
232 (naturalAdd
233 (checkpointEnvelopeContractChunk (nativeCheckpointContract layout))
234 (bytes-length (nativeCheckpointFullPadding layout))))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.