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 480–489

dpotReplicatedFirst

Full file
The root's record number of its first replicated shard: they follow its own parameter words when parameters are partitioned.
480def dpotReplicatedFirst =
481  (lambda unrestricted c : Nat .
482    (lambda unrestricted u : Nat .
483      (lambda unrestricted system : (family DataParallelSystem c u) .
484        (lambda unrestricted p : Nat .
485          (naturalMultiply
486            p
487            (stdListLength
488              (family LogicalInterval)
489              (dpotOwnedWords (dpK c u system) (dpOwners c u system) 0 (dpK c u system))))))))

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.