627def nativeCheckpointValidate =
628 (lambda unrestricted layout : (family NativeCheckpointLayout) .
629 (lambda unrestricted slot : Nat .
630 (lambda unrestricted tail : (family NativePhysicalCommands) .
631 (nativeMemoryCopyPayload
632 (nativeCheckpointMetadataAt layout)
633 (nativeCheckpointHeader layout)
634 (nativeMemoryCompareRegions
635 (nativeCheckpointBase layout)
636 (nativeCheckpointMetadataAt layout)
637 checkpointEnvelopeFixedBytes
638 slot
639 b"checkpoint-layout"
640 (nativeMemoryCompareRegions
641 (naturalAdd (nativeCheckpointBase layout) checkpointEnvelopeSchemaAt)
642 (naturalAdd (nativeCheckpointMetadataAt layout) checkpointEnvelopeSchemaAt)
643 (naturalSaturatingSubtract checkpointEnvelopeDigestsAt checkpointEnvelopeSchemaAt)
644 slot
645 b"checkpoint-identity"
646 (nativeCheckpointRequirePadding
647 layout
648 slot
649 (nativeCheckpointDigests
650 layout
651 0
652 slot
653 (nativeCheckpointRequireCounters layout tail)))))))))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.