141def modelWord64Xor =
142 (lambda unrestricted left : (family ModelWord64) .
143 (lambda unrestricted right : (family ModelWord64) .
144 (eliminate
145 ModelWord64
146 (lambda unrestricted current : (family ModelWord64) . (family ModelWord64))
147 left
148 (branch
149 ModelWord64Value
150 l0
151 l1
152 l2
153 l3
154 l4
155 l5
156 l6
157 l7
158 .
159 (eliminate
160 ModelWord64
161 (lambda unrestricted current : (family ModelWord64) . (family ModelWord64))
162 right
163 (branch
164 ModelWord64Value
165 r0
166 r1
167 r2
168 r3
169 r4
170 r5
171 r6
172 r7
173 .
174 (constructor
175 ModelWord64
176 ModelWord64Value
177 (byteXor l0 r0)
178 (byteXor l1 r1)
179 (byteXor l2 r2)
180 (byteXor l3 r3)
181 (byteXor l4 r4)
182 (byteXor l5 r5)
183 (byteXor l6 r6)
184 (byteXor l7 r7))))))))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.