75def pointwiseUnaryWith =
76 (lambda unrestricted operations : (family Float32Operations) .
77 (lambda unrestricted operation : (family PointwiseUnary) .
78 (lambda unrestricted value : Nat .
79 (eliminate
80 PointwiseUnary
81 (lambda unrestricted current : (family PointwiseUnary) . Nat)
82 operation
83 (branch PointwiseNegate . (f32Negate operations value))
84 (branch PointwiseSquare . (f32Multiply operations value value))
85 (branch PointwiseRoundBF16 . (bfloat16RoundWord value))
86 (branch PointwiseReciprocal . (f32Approximate operations 4 value))
87 (branch PointwiseReciprocalSquareRoot . (f32Approximate operations 5 value))
88 (branch PointwiseSquareRoot . (f32Approximate operations 6 value))
89 (branch PointwiseTanh . (f32Approximate operations 7 value))
90 (branch PointwiseExponentialBase2 . (f32Approximate operations 2 value))))))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.