1098def nativeTreeRestore =
1099 (lambda unrestricted plan : (family NativeTreeCheckpoint) .
1100 (lambda unrestricted fanout : Nat .
1101 (lambda unrestricted count : Nat .
1102 (lambda unrestricted role : Nat .
1103 (lambda unrestricted ownOf : (pi unrestricted role : Nat . (family StdList (family CheckpointRegionPartition))) .
1104 (lambda unrestricted paths : (family NativeTreePaths) .
1105 (lambda unrestricted destination : (pi unrestricted shard : (family NativeRegionShard) . Nat) .
1106 (lambda unrestricted tail : (family NativePhysicalCommands) .
1107 (nativeTreeRestoreManifests
1108 plan
1109 fanout
1110 count
1111 role
1112 ownOf
1113 paths
1114 (nativeTreeRestoreOwn plan paths destination 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.