`each tag operation rest` for every tag, in order
938def nativePhysicalNativeFloat64Entries =
939 (lambda unrestricted each : (pi unrestricted tag : Byte . (pi unrestricted operation : (pi unrestricted after : (family X86NativeAssembly) . (family X86NativeAssembly)) . (pi unrestricted rest : (family X86NativeAssembly) . (family X86NativeAssembly)))) .
940 (lambda unrestricted tail : (family X86NativeAssembly) .
941 (each (byte 14) (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleAdd))
942 (each (byte 15) (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleSubtract))
943 (each (byte 16) (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleMultiply))
944 (each (byte 17) (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleDivide))
945 (each (byte 18) (npScalarDouble (constructor X86NativeScalarDoubleOperation X86NativeScalarDoubleSquareRoot))
946 (each (byte 19) npFromNatural
947 (each (byte 20) npToBinary32
948 (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.