The same planned layouts published under a later membership epoch: a
resumed generation publishes at the restored epoch + 1.
249def nativeTreeCheckpointAdvanced =
250 (lambda unrestricted plan : (family NativeTreeCheckpoint) .
251 (lambda unrestricted resume : Nat .
252 (constructor
253 NativeTreeCheckpoint
254 NativeTreeCheckpointOf
255 (nativeTreeGroup plan)
256 (nativeTreeShards plan)
257 (nativeTreeAncestors plan)
258 (naturalAdd (nativeTreeEpoch plan) resume)
259 (nativeTreeEnd 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.