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 599–604

dpPublicationBase

Full file
Where a publication's storage may begin: after the combine region and this owner's leaf value.
599def dpPublicationBase =
600  (lambda unrestricted c : Nat .
601    (lambda unrestricted u : Nat .
602      (lambda unrestricted system : (family DataParallelSystem c u) .
603        (lambda unrestricted placement : (family NativeCombinePlacement) .
604          (frameAlign (naturalAdd (nativeCombineRegionEnd placement) (dpValueBytes 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.