1172def dpRestore =
1173 (lambda unrestricted c : Nat .
1174 (lambda unrestricted u : Nat .
1175 (lambda unrestricted system : (family DataParallelSystem c u) .
1176 (lambda unrestricted layout : (family NativeDataParallelLayout) .
1177 (lambda unrestricted star : (family NativeDataParallelStarLayout) .
1178 (lambda unrestricted extent : Nat .
1179 (lambda unrestricted tail : (family NativePhysicalCommands) .
1180 (planNativeRegionRestore
1181 (dpCheckpoint star)
1182 (nativeRegionPathArgument (nativeRegionPathFirst (dpPaths c u system)))
1183 (lambda unrestricted index : Nat .
1184 (nativeRegionPathArgument
1185 (naturalAdd (nativeRegionInputShardBase (dpPaths c u system)) index)))
1186 nativePeerListenerSlot
1187 nativePeerScratchSlot
1188 extent
1189 (dpDestinations c u system layout)
1190 (dpResumed layout (nativeRegionCaptureAt (dpCheckpoint star)) 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.