1218def dpPublication =
1219 (lambda unrestricted c : Nat .
1220 (lambda unrestricted u : Nat .
1221 (lambda unrestricted system : (family DataParallelSystem c u) .
1222 (lambda unrestricted layout : (family NativeDataParallelLayout) .
1223 (lambda unrestricted star : (family NativeDataParallelStarLayout) .
1224 (lambda unrestricted resume : Nat .
1225 (lambda unrestricted edges : (family StdList (family NativePeerEdge)) .
1226 (constructor
1227 NativePeerRegionPublication
1228 NativePeerRegionPublicationOf
1229 (constructor
1230 NativeRegionCheckpoint
1231 NativeRegionCheckpointOf
1232 (nativeRegionManifest (dpCheckpoint star))
1233 (nativeRegionShards (dpCheckpoint star))
1234 (naturalAdd (nativeRegionEpoch (dpCheckpoint star)) resume)
1235 (nativeRegionEnd (dpCheckpoint star)))
1236 (naturalPredecessor (dpOwners c u system))
1237 (dpCaptureFor c u system (dpDigest layout) star)
1238 (dpCommittedFor c u system (dpDigest layout) star)
1239 (nativePeerEdgeConnectionTo edges)
1240 (dpStateAt layout)
1241 (dpStateBytes c u system)
1242 (dpStateBytes c u system)
1243 (lambda unrestricted shard : (family NativeRegionShard) . 0)
1244 (dpShardOffset c u system)
1245 (dpPaths c u system)))))))))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.