the binary64 operations' record tags: 14 .. 21, in the family's order
660def nativePhysicalImageFloat64Tag =
661 (lambda unrestricted kind : (family NativePhysicalFloat64Operation) .
662 (eliminate NativePhysicalFloat64Operation
663 (lambda unrestricted current : (family NativePhysicalFloat64Operation) . Byte)
664 kind
665 (branch NativePhysicalFloat64Add . (byte 14))
666 (branch NativePhysicalFloat64Subtract . (byte 15))
667 (branch NativePhysicalFloat64Multiply . (byte 16))
668 (branch NativePhysicalFloat64Divide . (byte 17))
669 (branch NativePhysicalFloat64SquareRoot . (byte 18))
670 (branch NativePhysicalFloat64FromNatural . (byte 19))
671 (branch NativePhysicalFloat64ToBinary32 . (byte 20))
672 (branch NativePhysicalFloat64FromBinary32 . (byte 21))))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.