AlphaGitHub
Source/Packages

Runtime.NativeDataParallelOwnedTree

packages/execution/src/Runtime/NativeDataParallelOwnedTree.alpha

979 lines34 declarations47.0 KiBSHA-256 5e555474696d
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 92–99

dpotRootShards

Full file
92def dpotRootShards =
93  (lambda unrestricted tree : (family NativeDataParallelOwnedTreeLayout) .
94    (eliminate
95      NativeDataParallelOwnedTreeLayout
96      (lambda unrestricted current : (family NativeDataParallelOwnedTreeLayout) .
97        (family NativeRegionCheckpoint))
98      tree
99      (branch NativeDataParallelOwnedTreeLayoutOf commitment release checkpoint root . root)))

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.