915def peerCheckpointFinish =
916 (lambda unrestricted checkpoint : (family NativeCheckpointLayout) .
917 (lambda unrestricted initial : (family RegionFrameLayout) .
918 (lambda unrestricted worker : Nat .
919 (lambda unrestricted steps : Nat .
920 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
921 (peerStore
922 (nativeCheckpointPayloadAt checkpoint)
923 (frameNativeLoad (framePayloadAt initial))
924 (nativeCheckedWordAdd
925 (frameNativeState (nativeCheckpointUpdatesAt checkpoint))
926 (frameNativeLoad (nativeCheckpointUpdatesAt checkpoint))
927 (nativeLaunchRecipeImmediate steps)
928 peerScratchSlot
929 b"peer-update-counter-overflow"
930 (nativeCheckedWordAdd
931 (frameNativeState (nativeCheckpointInvocationsAt checkpoint))
932 (frameNativeLoad (nativeCheckpointInvocationsAt checkpoint))
933 (nativeLaunchRecipeImmediate steps)
934 peerScratchSlot
935 b"peer-batch-counter-overflow"
936 (peerByRole
937 worker
938 (nativeCheckpointPublish
939 checkpoint
940 (peerArgument 2)
941 (peerArgument 3)
942 (peerArgument 4)
943 peerListenerSlot
944 peerScratchSlot
945 6
946 (peerOutput descriptor (framePayloadAt initial)))
947 (peerOutput descriptor (framePayloadAt initial)))))))))))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.