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 324–334

dpoAgreedBytes

Full file
324def dpoAgreedBytes =
325  (lambda unrestricted c : Nat .
326    (lambda unrestricted u : Nat .
327      (lambda unrestricted system : (family DataParallelSystem c u) .
328        (lambda unrestricted q : Nat .
329          (lambda unrestricted p : Nat .
330            (naturalAdd
331              nativeRegionCaptureBytes
332              (naturalAdd
333                (dpoReplicatedParameterBytes c u system p)
334                (naturalMultiply dpWord (dpoShared c u system q)))))))))

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.