872def peerCheckpointStart =
873 (lambda unrestricted checkpoint : (family NativeCheckpointLayout) .
874 (lambda unrestricted initial : (family RegionFrameLayout) .
875 (lambda unrestricted resume : Nat .
876 (lambda unrestricted tail : (family NativePhysicalCommands) .
877 (nat-eliminate
878 (lambda unrestricted mode : Nat . (family NativePhysicalCommands))
879 (peerNatural
880 (framePayloadAt initial)
881 3
882 (peerStore
883 (nativeCheckpointUpdatesAt checkpoint)
884 (nativeLaunchRecipeImmediate 0)
885 (peerStore
886 (nativeCheckpointInvocationsAt checkpoint)
887 (nativeLaunchRecipeImmediate 0)
888 (peerStore
889 (peerCheckpointEpochAt checkpoint)
890 (nativeLaunchRecipeImmediate 1)
891 tail))))
892 (lambda unrestricted previous : Nat .
893 (lambda unrestricted ignored : (family NativePhysicalCommands) .
894 (nativeCheckpointRestore
895 checkpoint
896 (peerArgument 1)
897 peerListenerSlot
898 peerScratchSlot
899 (nativeLaunchRecipeAssertEqual
900 (frameNativeLoad (nativeCheckpointUpdatesAt checkpoint))
901 (frameNativeLoad (nativeCheckpointInvocationsAt checkpoint))
902 b"peer-batch-position"
903 (peerStore
904 (framePayloadAt initial)
905 (frameNativeLoad (nativeCheckpointPayloadAt checkpoint))
906 (nativeCheckedWordAdd
907 (frameNativeState (peerCheckpointEpochAt checkpoint))
908 (frameNativeLoad (peerCheckpointEpochAt checkpoint))
909 (nativeLaunchRecipeImmediate 1)
910 peerScratchSlot
911 b"peer-recovery-epoch-overflow"
912 tail))))))
913 resume)))))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.