1579def dpoProjected =
1580 (lambda unrestricted c : Nat .
1581 (lambda unrestricted u : Nat .
1582 (lambda unrestricted system : (family DataParallelSystem c u) .
1583 (lambda unrestricted p : Nat .
1584 (lambda unrestricted topology : (family DataParallelTopology) .
1585 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
1586 (lambda unrestricted steps : Nat .
1587 (let unrestricted owners =
1588 (dpOwners c u system)
1589 in
1590 (stdResultBind
1591 (family OrderedCombineFailure)
1592 (family
1593 GlobalProtocol
1594 (family OrderedCombineOperation (family RegionTransferIdentity))
1595 (family RegionTransferIdentity)
1596 (family ProtocolNoDecision))
1597 (family
1598 ParticipantProtocol
1599 (family DataParallelOwnedOperation)
1600 (family RegionTransferIdentity)
1601 (family ProtocolNoDecision))
1602 (planNativeCombineGlobal
1603 (dpoSum layout)
1604 (dpContract topology owners)
1605 owners
1606 (dpMembers owners)
1607 (dpBaseAnchor c u system (dpoDigest layout)))
1608 (lambda unrestricted sum : (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
1609 (stdResultBind
1610 (family OrderedCombineFailure)
1611 (family
1612 GlobalProtocol
1613 (family OrderedCombineOperation (family RegionTransferIdentity))
1614 (family RegionTransferIdentity)
1615 (family ProtocolNoDecision))
1616 (family
1617 ParticipantProtocol
1618 (family DataParallelOwnedOperation)
1619 (family RegionTransferIdentity)
1620 (family ProtocolNoDecision))
1621 (planNativeCombineGlobal
1622 (dpoAssemblePlacement layout)
1623 (dpoAssembleContract owners)
1624 owners
1625 (dpMembers owners)
1626 (dpoAssembleBaseAnchor c u system (dpoDigest layout)))
1627 (lambda unrestricted assemble : (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
1628 (stdResultBind
1629 (family OrderedCombineFailure)
1630 (family
1631 StdList
1632 (family
1633 GlobalProtocol
1634 (family OrderedCombineOperation (family RegionTransferIdentity))
1635 (family RegionTransferIdentity)
1636 (family ProtocolNoDecision)))
1637 (family
1638 ParticipantProtocol
1639 (family DataParallelOwnedOperation)
1640 (family RegionTransferIdentity)
1641 (family ProtocolNoDecision))
1642 (dpoGradientGlobals c u system topology layout)
1643 (lambda unrestricted gradients : (family StdList (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision))) .
1644 (eliminate
1645 StdResult
1646 (lambda unrestricted result : (family StdResult (family ProtocolFailure) (family ParticipantProtocol (family DataParallelOwnedOperation) (family RegionTransferIdentity) (family ProtocolNoDecision))) .
1647 (family
1648 StdResult
1649 (family OrderedCombineFailure)
1650 (family
1651 ParticipantProtocol
1652 (family DataParallelOwnedOperation)
1653 (family RegionTransferIdentity)
1654 (family ProtocolNoDecision))))
1655 (planParticipantProtocol
1656 (family DataParallelOwnedOperation)
1657 (family RegionTransferIdentity)
1658 (family ProtocolNoDecision)
1659 owners
1660 (nativeCombineRole
1661 (nativeCombinePlacementContext (dpoSum layout)))
1662 (dpoLocalAdmitted owners layout)
1663 (lambda unrestricted identity : (family RegionTransferIdentity) .
1664 (nativeCombineTransferAdmitted
1665 (dpoPlacementOf layout identity)
1666 identity))
1667 (protocolNoDecision (family RegionTransferIdentity))
1668 (protocolRepeat
1669 (family DataParallelOwnedOperation)
1670 (family RegionTransferIdentity)
1671 (family ProtocolNoDecision)
1672 steps
1673 (dpoRound owners p sum assemble gradients)
1674 dpoEnd))
1675 (branch
1676 StdFailure
1677 failure
1678 .
1679 (constructor
1680 StdResult
1681 StdFailure
1682 (family OrderedCombineFailure)
1683 (family
1684 ParticipantProtocol
1685 (family DataParallelOwnedOperation)
1686 (family RegionTransferIdentity)
1687 (family ProtocolNoDecision))
1688 (constructor
1689 OrderedCombineFailure
1690 CombineProtocolRefused
1691 failure)))
1692 (branch
1693 StdSuccess
1694 projected
1695 .
1696 (constructor
1697 StdResult
1698 StdSuccess
1699 (family OrderedCombineFailure)
1700 (family
1701 ParticipantProtocol
1702 (family DataParallelOwnedOperation)
1703 (family RegionTransferIdentity)
1704 (family ProtocolNoDecision))
1705 projected)))))))))))))))))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.