555def niRestore =
556 (lambda unrestricted slots : Nat .
557 (lambda unrestricted system : (family IndependentStateSystem slots) .
558 (lambda unrestricted layout : (family NativeIndependentLayout) .
559 (lambda unrestricted owner : Nat .
560 (lambda unrestricted extent : Nat .
561 (lambda unrestricted tail : (family NativePhysicalCommands) .
562 (planNativeRegionRestore
563 (niCheckpoint layout)
564 (nativeRegionPathArgument (nativeRegionPathFirst (niPaths slots system)))
565 (lambda unrestricted index : Nat .
566 (nativeRegionPathArgument
567 (naturalAdd (nativeRegionInputShardBase (niPaths slots system)) index)))
568 nativePeerListenerSlot
569 nativePeerScratchSlot
570 extent
571 (niDestinations slots system layout owner)
572 (nativeMemoryCopyOperands
573 (nativeMemoryState (niStateAt layout))
574 (nativeMemoryState (nativeRegionCaptureAt (niCheckpoint layout)))
575 nativeRegionCaptureBytes
576 nativePeerScratchSlot
577 b"independent-restore-capture"
578 (nativeLaunchRecipeAssertEqual
579 (nativeMemoryLoad (niStateAt layout))
580 (nativeMemoryLoad (nativePointwiseAt (niStateAt layout) 1))
581 b"independent-input-position"
582 (nativeCheckedWordAdd
583 (nativeMemoryState (nativePointwiseAt (niStateAt layout) 2))
584 (nativeMemoryLoad (nativePointwiseAt (niStateAt layout) 2))
585 (nativeLaunchRecipeImmediate 1)
586 nativePeerScratchSlot
587 b"independent-epoch-overflow"
588 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.