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 349–359

dpCaptureFor

Full file
349def dpCaptureFor =
350  (lambda unrestricted c : Nat .
351    (lambda unrestricted u : Nat .
352      (lambda unrestricted system : (family DataParallelSystem c u) .
353        (lambda unrestricted digest : Bytes .
354          (lambda unrestricted layout : (family NativeDataParallelStarLayout) .
355            (lambda unrestricted owner : Nat .
356              (niFrameAt
357                (dpPublicationIdentity c u system digest 0 owner 0)
358                (dpStateBytes c u system)
359                (dpCapture layout))))))))

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.