1192def dpStart =
1193 (lambda unrestricted c : Nat .
1194 (lambda unrestricted u : Nat .
1195 (lambda unrestricted system : (family DataParallelSystem c u) .
1196 (lambda unrestricted layout : (family NativeDataParallelLayout) .
1197 (lambda unrestricted star : (family NativeDataParallelStarLayout) .
1198 (lambda unrestricted extent : Nat .
1199 (lambda unrestricted resume : Nat .
1200 (lambda unrestricted tail : (family NativePhysicalCommands) .
1201 (nat-eliminate
1202 (lambda unrestricted mode : Nat .
1203 (family
1204 StdResult
1205 (family NativeCheckpointFailure)
1206 (family NativePhysicalCommands)))
1207 (constructor
1208 StdResult
1209 StdSuccess
1210 (family NativeCheckpointFailure)
1211 (family NativePhysicalCommands)
1212 (dpFresh c u system layout (nativeRegionEpoch (dpCheckpoint star)) tail))
1213 (lambda unrestricted previous : Nat .
1214 (lambda unrestricted ignored : (family StdResult (family NativeCheckpointFailure) (family NativePhysicalCommands)) .
1215 (dpRestore c u system layout star extent tail)))
1216 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.