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 567–577

dpEndpointAt

Full file
567def dpEndpointAt =
568  (lambda unrestricted c : Nat .
569    (lambda unrestricted u : Nat .
570      (lambda unrestricted system : (family DataParallelSystem c u) .
571        (lambda unrestricted layout : (family NativeDataParallelLayout) .
572          (lambda unrestricted owner : Nat .
573            (naturalAdd
574              (dpSamplesAt c u system layout)
575              (naturalMultiply
576                (dpSampleBytes c u system)
577                (stdListLength (family StdList StdU64) (dataParallelSamplesOf c u system owner)))))))))

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.