190def nativeFloat64RequireFinite =
191 (lambda unrestricted value : (family NativePhysicalOperand) .
192 (lambda unrestricted slot : Nat .
193 (lambda unrestricted error : Bytes .
194 (lambda unrestricted tail : (family NativePhysicalCommands) .
195 (nativeLaunchRecipeCommand
196 (constructor
197 NativePhysicalOperation
198 NativePhysicalMachineRoutine
199 nativeFloat64FiniteCode
200 (nativeLaunchRecipeArguments
201 value
202 (nativeLaunchRecipeImmediate 0)
203 (nativeLaunchRecipeImmediate 0)
204 (nativeLaunchRecipeImmediate 0))
205 (nativeLaunchRecipeStore slot))
206 error
207 (nativeLaunchRecipeAssertEqual
208 (nativeLaunchRecipeSlotValue slot)
209 (nativeLaunchRecipeImmediate 0)
210 error
211 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.