`each tag operation rest` for every tag, in order
1262def nativePhysicalNativeFloat64Entries =
1263 (lambda unrestricted each : (pi unrestricted tag : Byte . (pi unrestricted operation : (pi unrestricted after : (family X86NativeAssembly) . (family X86NativeAssembly)) . (pi unrestricted rest : (family X86NativeAssembly) . (family X86NativeAssembly)))) .
1264 (lambda unrestricted tail : (family X86NativeAssembly) .
1265 (each
1266 (byte 14)
1267 (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleAdd))
1268 (each
1269 (byte 15)
1270 (npScalarDouble
1271 (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleSubtract))
1272 (each
1273 (byte 16)
1274 (npScalarDouble
1275 (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleMultiply))
1276 (each
1277 (byte 17)
1278 (npScalarDouble
1279 (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleDivide))
1280 (each
1281 (byte 18)
1282 (npScalarDouble
1283 (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleSquareRoot))
1284 (each
1285 (byte 19)
1286 npFromNatural
1287 (each (byte 20) npToBinary32 (each (byte 21) npFromBinary32 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.