59def modelWord32Xor =
60 (lambda unrestricted left : (family ModelWord32) .
61 (lambda unrestricted right : (family ModelWord32) .
62 (eliminate
63 ModelWord32
64 (lambda unrestricted current : (family ModelWord32) . (family ModelWord32))
65 left
66 (branch
67 ModelWord32Value
68 l0
69 l1
70 l2
71 l3
72 .
73 (eliminate
74 ModelWord32
75 (lambda unrestricted current : (family ModelWord32) . (family ModelWord32))
76 right
77 (branch
78 ModelWord32Value
79 r0
80 r1
81 r2
82 r3
83 .
84 (constructor
85 ModelWord32
86 ModelWord32Value
87 (byteXor l0 r0)
88 (byteXor l1 r1)
89 (byteXor l2 r2)
90 (byteXor l3 r3))))))))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.