AlphaGitHub
Source/Packages

Checkpoint.NativeRegions

packages/execution/persistence/src/Checkpoint/NativeRegions.alpha

901 lines47 declarations40.2 KiBSHA-256 9e8fb104ae0c
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 89–103

nativeRegionManifest

Full file
89def nativeRegionManifest =
90  (lambda unrestricted value : (family NativeRegionCheckpoint) .
91    (eliminate
92      NativeRegionCheckpoint
93      (lambda unrestricted current : (family NativeRegionCheckpoint) .
94        (family NativeCheckpointLayout))
95      value
96      (branch
97        NativeRegionCheckpointOf
98        nativeRegionManifest
99        nativeRegionShards
100        nativeRegionEpoch
101        nativeRegionEnd
102        .
103        nativeRegionManifest)))

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.