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 154–161

dpCheckpoint

Full file
154def dpCheckpoint =
155  (lambda unrestricted star : (family NativeDataParallelStarLayout) .
156    (eliminate
157      NativeDataParallelStarLayout
158      (lambda unrestricted current : (family NativeDataParallelStarLayout) .
159        (family NativeRegionCheckpoint))
160      star
161      (branch NativeDataParallelStarLayoutOf capture committed checkpoint . checkpoint)))

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.