113def nativeTreeEnd =
114 (lambda unrestricted plan : (family NativeTreeCheckpoint) .
115 (eliminate
116 NativeTreeCheckpoint
117 (lambda unrestricted current : (family NativeTreeCheckpoint) . Nat)
118 plan
119 (branch NativeTreeCheckpointOf group shards ancestors epoch end . end)))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.