in the dispatch: each tag to its entry
1287def nativePhysicalNativeFloat64Dispatch =
1288 (nativePhysicalNativeFloat64Entries
1289 (lambda unrestricted tag : Byte .
1290 (lambda unrestricted operation : (pi unrestricted after : (family X86NativeAssembly) . (family X86NativeAssembly)) .
1291 (lambda unrestricted rest : (family X86NativeAssembly) .
1292 (nativePhysicalNativeEmit
1293 (nativePhysicalNativeCompareImmediate
1294 (constructor X86NativeRegister64 X86NativeRAX)
1295 (nativePhysicalNativeI32Byte tag))
1296 (nativePhysicalNativeJumpCondition
1297 (constructor X86NativeCondition X86NativeConditionZero)
1298 (nativePhysicalNativeFloat64Label tag)
1299 rest))))))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.