154def nativeFileRename =
155 (lambda unrestricted replace : Nat .
156 (lambda unrestricted candidate : (family NativePhysicalOperand) .
157 (lambda unrestricted committed : (family NativePhysicalOperand) .
158 (lambda unrestricted slot : Nat .
159 (lambda unrestricted tail : (family NativePhysicalCommands) .
160 (nat-eliminate
161 (lambda unrestricted policy : Nat . (family NativePhysicalCommands))
162 (nativeFileCall
163 316
164 (constructor
165 NativePhysicalArguments
166 NativePhysicalArgumentsValue
167 (nativeLaunchRecipeImmediate 18446744073709551516)
168 candidate
169 (nativeLaunchRecipeImmediate 18446744073709551516)
170 committed
171 (nativeLaunchRecipeImmediate 1)
172 (nativeLaunchRecipeImmediate 0))
173 slot
174 0
175 b"checkpoint-rename"
176 tail)
177 (lambda unrestricted previous : Nat .
178 (lambda unrestricted ignored : (family NativePhysicalCommands) .
179 (nativeFileCall
180 82
181 (nativeLaunchRecipeArguments
182 candidate
183 committed
184 (nativeLaunchRecipeImmediate 0)
185 (nativeLaunchRecipeImmediate 0))
186 slot
187 0
188 b"checkpoint-rename"
189 tail)))
190 replace))))))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.