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 1043–1048

nativeTreeRootLayout

Full file
The root's group manifest as this role restored it: the first ancestor, or the role's own when it is the root.
1043def nativeTreeRootLayout =
1044  (lambda unrestricted plan : (family NativeTreeCheckpoint) .
1045    (stdListHeadOr
1046      (family NativeCheckpointLayout)
1047      (nativeTreeGroup plan)
1048      (nativeTreeAncestors plan)))

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.