92def pointwiseBinaryWith =
93 (lambda unrestricted operations : (family Float32Operations) .
94 (lambda unrestricted operation : (family PointwiseBinary) .
95 (lambda unrestricted left : Nat .
96 (lambda unrestricted right : Nat .
97 (eliminate
98 PointwiseBinary
99 (lambda unrestricted current : (family PointwiseBinary) . Nat)
100 operation
101 (branch PointwiseAdd . (f32Add operations left right))
102 (branch PointwiseMultiply . (f32Multiply operations left right))
103 (branch PointwiseSubtract . (f32Add operations left (f32Negate operations right)))
104 (branch
105 PointwisePositiveGate
106 .
107 (naturalSelect (naturalOr (modelF32Less left 0) (modelF32EqualValue left 0)) 0 right)))))))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.