2383def dpoStart =
2384 (lambda unrestricted c : Nat .
2385 (lambda unrestricted u : Nat .
2386 (lambda unrestricted system : (family DataParallelSystem c u) .
2387 (lambda unrestricted q : Nat .
2388 (lambda unrestricted p : Nat .
2389 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
2390 (lambda unrestricted star : (family NativeDataParallelOwnedStarLayout) .
2391 (lambda unrestricted role : Nat .
2392 (lambda unrestricted extent : Nat .
2393 (lambda unrestricted resume : Nat .
2394 (lambda unrestricted tail : (family NativePhysicalCommands) .
2395 (nat-eliminate
2396 (lambda unrestricted mode : Nat .
2397 (family
2398 StdResult
2399 (family NativeCheckpointFailure)
2400 (family NativePhysicalCommands)))
2401 (constructor
2402 StdResult
2403 StdSuccess
2404 (family NativeCheckpointFailure)
2405 (family NativePhysicalCommands)
2406 (dpoFresh c u system q p layout role tail))
2407 (lambda unrestricted previous : Nat .
2408 (lambda unrestricted ignored : (family StdResult (family NativeCheckpointFailure) (family NativePhysicalCommands)) .
2409 (planNativeRegionRestore
2410 (dpoCheckpoint star)
2411 (nativeRegionPathArgument
2412 (nativeRegionPathFirst (dpoPaths c u system q p)))
2413 (lambda unrestricted index : Nat .
2414 (nativeRegionPathArgument
2415 (naturalAdd
2416 (nativeRegionInputShardBase (dpoPaths c u system q p))
2417 index)))
2418 nativePeerListenerSlot
2419 nativePeerScratchSlot
2420 extent
2421 (dpoDestinations c u system q p layout role)
2422 (dpResumed
2423 (dpoGeneric layout)
2424 (nativeRegionCaptureAt (dpoCheckpoint star))
2425 tail))))
2426 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.