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 317–325

dpTree

Full file
317def dpTree =
318  (lambda unrestricted topology : (family DataParallelTopology) .
319    (lambda unrestricted owners : Nat .
320      (eliminate
321        DataParallelTopology
322        (lambda unrestricted current : (family DataParallelTopology) . (family OrderedCombineTree))
323        topology
324        (branch DataParallelStar . (nativeCombineChain 0 owners))
325        (branch DataParallelHierarchy fanout . (nativeCombineHierarchy fanout 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.