230def nativePointwiseBinary =
231 (lambda unrestricted scratch : Nat .
232 (lambda unrestricted operation : (family PointwiseBinary) .
233 (lambda unrestricted destination : Nat .
234 (lambda unrestricted left : Nat .
235 (lambda unrestricted right : Nat .
236 (lambda unrestricted tail : (family NativePhysicalCommands) .
237 (eliminate
238 PointwiseBinary
239 (lambda unrestricted current : (family PointwiseBinary) .
240 (family NativePhysicalCommands))
241 operation
242 (branch
243 PointwiseAdd
244 .
245 (nativeFiniteFloat64Binary
246 b"pointwise-nonfinite"
247 scratch
248 (constructor NativePhysicalFloat64Operation NativePhysicalFloat64Add)
249 destination
250 left
251 right
252 tail))
253 (branch
254 PointwiseMultiply
255 .
256 (nativeFiniteFloat64Binary
257 b"pointwise-nonfinite"
258 scratch
259 (constructor NativePhysicalFloat64Operation NativePhysicalFloat64Multiply)
260 destination
261 left
262 right
263 tail))
264 (branch
265 PointwiseSubtract
266 .
267 (nativeFiniteFloat64Binary
268 b"pointwise-nonfinite"
269 scratch
270 (constructor NativePhysicalFloat64Operation NativePhysicalFloat64Subtract)
271 destination
272 left
273 right
274 tail))
275 (branch PointwisePositiveGate . 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.