Plan owner r's reduction for every coordinate owner, in owner order.
1473def dpoGradientGlobals =
1474 (lambda unrestricted c : Nat .
1475 (lambda unrestricted u : Nat .
1476 (lambda unrestricted system : (family DataParallelSystem c u) .
1477 (lambda unrestricted topology : (family DataParallelTopology) .
1478 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
1479 (let unrestricted owners =
1480 (dpOwners c u system)
1481 in
1482 (stdListFold
1483 Nat
1484 (family
1485 StdResult
1486 (family OrderedCombineFailure)
1487 (family
1488 StdList
1489 (family
1490 GlobalProtocol
1491 (family OrderedCombineOperation (family RegionTransferIdentity))
1492 (family RegionTransferIdentity)
1493 (family ProtocolNoDecision))))
1494 (lambda unrestricted target : Nat .
1495 (lambda unrestricted rest : (family StdResult (family OrderedCombineFailure) (family StdList (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision)))) .
1496 (stdResultBind
1497 (family OrderedCombineFailure)
1498 (family
1499 GlobalProtocol
1500 (family OrderedCombineOperation (family RegionTransferIdentity))
1501 (family RegionTransferIdentity)
1502 (family ProtocolNoDecision))
1503 (family
1504 StdList
1505 (family
1506 GlobalProtocol
1507 (family OrderedCombineOperation (family RegionTransferIdentity))
1508 (family RegionTransferIdentity)
1509 (family ProtocolNoDecision)))
1510 (planNativeCombineGlobalDelivering
1511 (dpoGradientAt layout target)
1512 (dpoGradientDelivery target)
1513 (dpContract topology owners)
1514 owners
1515 (dpMembers owners)
1516 (dpoGradientBaseAnchor c u system (dpoDigest layout) target))
1517 (lambda unrestricted planned : (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
1518 (stdResultBind
1519 (family OrderedCombineFailure)
1520 (family
1521 StdList
1522 (family
1523 GlobalProtocol
1524 (family OrderedCombineOperation (family RegionTransferIdentity))
1525 (family RegionTransferIdentity)
1526 (family ProtocolNoDecision)))
1527 (family
1528 StdList
1529 (family
1530 GlobalProtocol
1531 (family OrderedCombineOperation (family RegionTransferIdentity))
1532 (family RegionTransferIdentity)
1533 (family ProtocolNoDecision)))
1534 rest
1535 (lambda unrestricted others : (family StdList (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision))) .
1536 (constructor
1537 StdResult
1538 StdSuccess
1539 (family OrderedCombineFailure)
1540 (family
1541 StdList
1542 (family
1543 GlobalProtocol
1544 (family OrderedCombineOperation (family RegionTransferIdentity))
1545 (family RegionTransferIdentity)
1546 (family ProtocolNoDecision)))
1547 (constructor
1548 StdList
1549 StdListCons
1550 (family
1551 GlobalProtocol
1552 (family OrderedCombineOperation (family RegionTransferIdentity))
1553 (family RegionTransferIdentity)
1554 (family ProtocolNoDecision))
1555 planned
1556 others))))))))
1557 (constructor
1558 StdResult
1559 StdSuccess
1560 (family OrderedCombineFailure)
1561 (family
1562 StdList
1563 (family
1564 GlobalProtocol
1565 (family OrderedCombineOperation (family RegionTransferIdentity))
1566 (family RegionTransferIdentity)
1567 (family ProtocolNoDecision)))
1568 (constructor
1569 StdList
1570 StdListEmpty
1571 (family
1572 GlobalProtocol
1573 (family OrderedCombineOperation (family RegionTransferIdentity))
1574 (family RegionTransferIdentity)
1575 (family ProtocolNoDecision))))
1576 (stdListNaturalsBelow
1577 (stdListLength (family NativeCombinePlacement) (dpoGradients layout))))))))))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.