722def chGlobalRound =
723 (lambda unrestricted layout : (family CoordinateHostLayout) .
724 (appendGlobalProtocol
725 (family CoordinateRoundOperation)
726 (family RegionFrameLayout)
727 (family ProtocolNoDecision)
728 (mapGlobalProtocolOperations
729 (family OrderedCombineOperation (family RegionFrameLayout))
730 (family CoordinateRoundOperation)
731 (family RegionFrameLayout)
732 (family ProtocolNoDecision)
733 (lambda unrestricted operation : (family OrderedCombineOperation (family RegionFrameLayout)) .
734 (constructor CoordinateRoundOperation CoordinateCombine operation))
735 (stdResultValueOr
736 (family OrderedCombineFailure)
737 (family
738 GlobalProtocol
739 (family OrderedCombineOperation (family RegionFrameLayout))
740 (family RegionFrameLayout)
741 (family ProtocolNoDecision))
742 chCombineEnd
743 (chCombinePlan layout)))
744 (protocolLocal
745 (family CoordinateRoundOperation)
746 (family RegionFrameLayout)
747 (family ProtocolNoDecision)
748 0
749 (constructor CoordinateRoundOperation CoordinateInstallCombined)
750 (protocolLocal
751 (family CoordinateRoundOperation)
752 (family RegionFrameLayout)
753 (family ProtocolNoDecision)
754 1
755 (constructor CoordinateRoundOperation CoordinateInstallCombined)
756 (protocolLocal
757 (family CoordinateRoundOperation)
758 (family RegionFrameLayout)
759 (family ProtocolNoDecision)
760 0
761 (constructor CoordinateRoundOperation CoordinateBackwardUpdate)
762 (protocolLocal
763 (family CoordinateRoundOperation)
764 (family RegionFrameLayout)
765 (family ProtocolNoDecision)
766 1
767 (constructor CoordinateRoundOperation CoordinateBackwardUpdate)
768 (protocolLocal
769 (family CoordinateRoundOperation)
770 (family RegionFrameLayout)
771 (family ProtocolNoDecision)
772 1
773 (constructor CoordinateRoundOperation CoordinatePrepareAcknowledgment)
774 (protocolTransfer
775 (family CoordinateRoundOperation)
776 (family RegionFrameLayout)
777 (family ProtocolNoDecision)
778 (chIdentity (chNumerics layout) 2 1 0 b"updated-coordinate")
779 (chAcknowledgment layout)
780 (protocolLocal
781 (family CoordinateRoundOperation)
782 (family RegionFrameLayout)
783 (family ProtocolNoDecision)
784 0
785 (constructor CoordinateRoundOperation CoordinateAcceptAcknowledgment)
786 (constructor
787 GlobalProtocol
788 GlobalProtocolEnd
789 (family CoordinateRoundOperation)
790 (family RegionFrameLayout)
791 (family ProtocolNoDecision)))))))))))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.