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 364–368

dpotParent

Full file
364def dpotParent =
365  (lambda unrestricted fanout : Nat .
366    (lambda unrestricted count : Nat .
367      (lambda unrestricted role : Nat .
368        (participantTreeParentOf (participantTreeNode fanout count role)))))

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.