1361def dpoReplicatedRound =
1362 (lambda unrestricted owners : Nat .
1363 (lambda unrestricted sum : (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
1364 (lambda unrestricted assemble : (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
1365 (lambda unrestricted gradients : (family StdList (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision))) .
1366 (dpoEachRole
1367 owners
1368 (constructor DataParallelOwnedOperation DataParallelOwnedContribute)
1369 (dpoSumPhase
1370 owners
1371 sum
1372 gradients
1373 (dpoEachRole
1374 owners
1375 (constructor DataParallelOwnedOperation DataParallelOwnedUpdate)
1376 (dpoEachRole
1377 owners
1378 (constructor DataParallelOwnedOperation DataParallelOwnedOffer)
1379 (dpoSpliced
1380 (lambda unrestricted value : (family OrderedCombineOperation (family RegionTransferIdentity)) .
1381 (constructor DataParallelOwnedOperation DataParallelOwnedAssemble value))
1382 assemble
1383 (dpoEachRole
1384 owners
1385 (constructor DataParallelOwnedOperation DataParallelOwnedInstall)
1386 dpoEnd))))))))))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.