624def nativeRegionRestore =
625 (lambda unrestricted plan : (family NativeRegionCheckpoint) .
626 (lambda unrestricted manifestPath : (family NativePhysicalOperand) .
627 (lambda unrestricted path : (pi unrestricted index : Nat . (family NativePhysicalOperand)) .
628 (lambda unrestricted descriptor : Nat .
629 (lambda unrestricted scratch : Nat .
630 (lambda unrestricted tail : (family NativePhysicalCommands) .
631 (nativeCheckpointRestore
632 (nativeRegionManifest plan)
633 manifestPath
634 descriptor
635 scratch
636 (nativeRegionRequireEpoch
637 plan
638 (nativeRegionLoadShards plan path descriptor scratch 0 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.