806def chProtocolAdmitted =
807 (lambda unrestricted layout : (family CoordinateHostLayout) .
808 (naturalAnd
809 (stdBoolToNatural
810 (stdResultIsSuccess
811 (family OrderedCombineFailure)
812 (family
813 GlobalProtocol
814 (family OrderedCombineOperation (family RegionFrameLayout))
815 (family RegionFrameLayout)
816 (family ProtocolNoDecision))
817 (chCombinePlan layout)))
818 (naturalAnd
819 (stdBoolToNatural
820 (stdResultIsSuccess
821 (family ProtocolFailure)
822 Nat
823 (checkGlobalProtocol
824 (family CoordinateRoundOperation)
825 (family RegionFrameLayout)
826 (family ProtocolNoDecision)
827 coordinateCount
828 chOperationAdmitted
829 nativeProtocolFrameAdmitted
830 (protocolNoDecision (family RegionFrameLayout))
831 (chGlobalRound layout))))
832 1)))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.