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 934–945

dpLocalAdmitted

Full file
934def dpLocalAdmitted =
935  (lambda unrestricted owners : Nat .
936    (lambda unrestricted placement : (family NativeCombinePlacement) .
937      (lambda unrestricted role : Nat .
938        (lambda unrestricted operation : (family DataParallelRoundOperation) .
939          (eliminate
940            DataParallelRoundOperation
941            (lambda unrestricted current : (family DataParallelRoundOperation) . Nat)
942            operation
943            (branch DataParallelContribute . (naturalLess role owners))
944            (branch DataParallelCombine value . (nativeCombineLocalAdmitted placement role value))
945            (branch DataParallelUpdate . (naturalLess role 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.