AlphaGitHub
Source/Packages

Runtime.NativeDataParallel

packages/execution/src/Runtime/NativeDataParallel.alpha

1,529 lines92 declarations70.3 KiBSHA-256 a009e951c1b2
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 914–932

dpRound

Full file
914def dpRound =
915  (lambda unrestricted owners : Nat .
916    (lambda unrestricted combine : (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
917      (dpEachRole
918        owners
919        (constructor DataParallelRoundOperation DataParallelContribute)
920        (appendGlobalProtocol
921          (family DataParallelRoundOperation)
922          (family RegionTransferIdentity)
923          (family ProtocolNoDecision)
924          (mapGlobalProtocolOperations
925            (family OrderedCombineOperation (family RegionTransferIdentity))
926            (family DataParallelRoundOperation)
927            (family RegionTransferIdentity)
928            (family ProtocolNoDecision)
929            (lambda unrestricted value : (family OrderedCombineOperation (family RegionTransferIdentity)) .
930              (constructor DataParallelRoundOperation DataParallelCombine value))
931            combine)
932          (dpEachRole owners (constructor DataParallelRoundOperation DataParallelUpdate) dpRoundEnd)))))

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.