`each tag operation rest` for every tag, in order
1255def nativePhysicalNativeFloat64Entries =
1256 (lambda unrestricted each : (pi unrestricted tag : Byte . (pi unrestricted operation : (pi unrestricted after : (family X86NativeAssembly) . (family X86NativeAssembly)) . (pi unrestricted rest : (family X86NativeAssembly) . (family X86NativeAssembly)))) .
1257 (lambda unrestricted tail : (family X86NativeAssembly) .
1258 (each
1259 (byte 14)
1260 (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleAdd))
1261 (each
1262 (byte 15)
1263 (npScalarDouble
1264 (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleSubtract))
1265 (each
1266 (byte 16)
1267 (npScalarDouble
1268 (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleMultiply))
1269 (each
1270 (byte 17)
1271 (npScalarDouble
1272 (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleDivide))
1273 (each
1274 (byte 18)
1275 (npScalarDouble
1276 (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleSquareRoot))
1277 (each
1278 (byte 19)
1279 npFromNatural
1280 (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.