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 694–708

nativeRegionResidents

Full file
694def nativeRegionResidents =
695  (lambda unrestricted plan : (family NativeRegionCheckpoint) .
696    (constructor
697      ArenaResidents
698      ArenaResidentsNext
699      (constructor
700        ArenaResident
701        ArenaResidentValue
702        b"checkpoint-regions-private-staging"
703        (nativeCheckpointBase (nativeRegionManifest plan))
704        (naturalSaturatingSubtract
705          (nativeRegionEnd plan)
706          (nativeCheckpointBase (nativeRegionManifest plan)))
707        1)
708      (constructor ArenaResidents ArenaResidentsEnd)))

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.