577def nativeCheckpointRequireCounters =
578 (lambda unrestricted layout : (family NativeCheckpointLayout) .
579 (lambda unrestricted tail : (family NativePhysicalCommands) .
580 (nativeLaunchRecipeAssertEqual
581 (nativeMemoryLoad (naturalAdd (nativeCheckpointBase layout) checkpointEnvelopeUpdatesAt))
582 (nativeMemoryLoad (nativeCheckpointUpdatesAt layout))
583 b"checkpoint-update-counter"
584 (nativeLaunchRecipeAssertEqual
585 (nativeMemoryLoad
586 (naturalAdd (nativeCheckpointBase layout) checkpointEnvelopeInvocationsAt))
587 (nativeMemoryLoad (nativeCheckpointInvocationsAt layout))
588 b"checkpoint-invocation-counter"
589 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.