This role's own shards, checked against its own group manifest's records.
1029def nativeTreeRestoreOwn =
1030 (lambda unrestricted plan : (family NativeTreeCheckpoint) .
1031 (lambda unrestricted paths : (family NativeTreePaths) .
1032 (lambda unrestricted destination : (pi unrestricted shard : (family NativeRegionShard) . Nat) .
1033 (lambda unrestricted tail : (family NativePhysicalCommands) .
1034 (nativeTreeRestoreShards
1035 (nativeTreeGroup plan)
1036 (nativeTreeShards plan)
1037 (lambda unrestricted index : Nat . (nativeTreePreviousShard paths index))
1038 destination
1039 tail)))))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.