AlphaGitHub
Source/Packages

Checkpoint.NativeTreePublication

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

1,138 lines56 declarations55.0 KiBSHA-256 a6e4225ebb3a
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 1124–1138

nativeTreeResidents

Full file
---- admission ---- The plan's group manifest, own shards and ancestor manifests are laid out contiguously from the group's base: one private staging resident.
1124def nativeTreeResidents =
1125  (lambda unrestricted plan : (family NativeTreeCheckpoint) .
1126    (constructor
1127      ArenaResidents
1128      ArenaResidentsNext
1129      (constructor
1130        ArenaResident
1131        ArenaResidentValue
1132        b"checkpoint-tree-private-staging"
1133        (nativeCheckpointBase (nativeTreeGroup plan))
1134        (naturalSaturatingSubtract
1135          (nativeTreeEnd plan)
1136          (nativeCheckpointBase (nativeTreeGroup plan)))
1137        1)
1138      (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.