---- the round protocol ----
883def dpEachRole =
884 (lambda unrestricted owners : Nat .
885 (lambda unrestricted operation : (family DataParallelRoundOperation) .
886 (lambda unrestricted tail : (family GlobalProtocol (family DataParallelRoundOperation) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
887 (stdListFold
888 Nat
889 (family
890 GlobalProtocol
891 (family DataParallelRoundOperation)
892 (family RegionTransferIdentity)
893 (family ProtocolNoDecision))
894 (lambda unrestricted role : Nat .
895 (lambda unrestricted rest : (family GlobalProtocol (family DataParallelRoundOperation) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
896 (protocolLocal
897 (family DataParallelRoundOperation)
898 (family RegionTransferIdentity)
899 (family ProtocolNoDecision)
900 role
901 operation
902 rest)))
903 tail
904 (stdListNaturalsBelow owners)))))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.