AlphaGitHub
Source/Packages

Runtime.NativeDataParallelOwned

packages/execution/src/Runtime/NativeDataParallelOwned.alpha

2,874 lines126 declarations142.2 KiBSHA-256 de18258423c4
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 523–539

dpoAssemblePlacementFor

Full file
The assembly combine of this role under `topology` (the same tree as the sum's), from where the sum's storage ends.
523def dpoAssemblePlacementFor =
524  (lambda unrestricted c : Nat .
525    (lambda unrestricted u : Nat .
526      (lambda unrestricted system : (family DataParallelSystem c u) .
527        (lambda unrestricted digest : Bytes .
528          (lambda unrestricted topology : (family DataParallelTopology) .
529            (lambda unrestricted role : Nat .
530              (lambda unrestricted sum : (family NativeCombinePlacement) .
531                (constructor
532                  NativeCombinePlacement
533                  NativeCombinePlacementOf
534                  (nativeCombineContextFor
535                    (dpoAssembleAnchor c u system digest)
536                    role
537                    (dpTree topology (dpOwners c u system)))
538                  (dpPublicationBase c u system sum)
539                  (dpoOfferBytes 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.