in the dispatch: each tag to its entry
1294def nativePhysicalNativeFloat64Dispatch =
1295 (nativePhysicalNativeFloat64Entries
1296 (lambda unrestricted tag : Byte .
1297 (lambda unrestricted operation : (pi unrestricted after : (family X86NativeAssembly) . (family X86NativeAssembly)) .
1298 (lambda unrestricted rest : (family X86NativeAssembly) .
1299 (nativePhysicalNativeEmit
1300 (nativePhysicalNativeCompareImmediate
1301 (constructor X86NativeRegister64 X86NativeRAX)
1302 (nativePhysicalNativeI32Byte tag))
1303 (nativePhysicalNativeJumpCondition
1304 (constructor X86NativeCondition X86NativeConditionZero)
1305 (nativePhysicalNativeFloat64Label tag)
1306 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.