the binary64 operations' record tags: 14 .. 21, in the family's order
591def nativePhysicalImageFloat64Tag =
592 (lambda unrestricted kind : (family NativePhysicalFloat64Operation) .
593 (eliminate NativePhysicalFloat64Operation
594 (lambda unrestricted current : (family NativePhysicalFloat64Operation) . Byte)
595 kind
596 (branch NativePhysicalFloat64Add . (byte 14))
597 (branch NativePhysicalFloat64Subtract . (byte 15))
598 (branch NativePhysicalFloat64Multiply . (byte 16))
599 (branch NativePhysicalFloat64Divide . (byte 17))
600 (branch NativePhysicalFloat64SquareRoot . (byte 18))
601 (branch NativePhysicalFloat64FromNatural . (byte 19))
602 (branch NativePhysicalFloat64ToBinary32 . (byte 20))
603 (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.