34def pointwiseBinaryIdentity =
35 (lambda unrestricted operation : (family PointwiseBinary) .
36 (eliminate
37 PointwiseBinary
38 (lambda unrestricted current : (family PointwiseBinary) . Bytes)
39 operation
40 (branch PointwiseAdd . b"+")
41 (branch PointwiseMultiply . b"*")
42 (branch PointwiseSubtract . b"-")
43 (branch PointwisePositiveGate . b">")))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.