186def modelWord64Complement =
187 (lambda unrestricted value : (family ModelWord64) .
188 (eliminate
189 ModelWord64
190 (lambda unrestricted current : (family ModelWord64) . (family ModelWord64))
191 value
192 (branch
193 ModelWord64Value
194 b0
195 b1
196 b2
197 b3
198 b4
199 b5
200 b6
201 b7
202 .
203 (constructor
204 ModelWord64
205 ModelWord64Value
206 (byteXor b0 (byte 255))
207 (byteXor b1 (byte 255))
208 (byteXor b2 (byte 255))
209 (byteXor b3 (byte 255))
210 (byteXor b4 (byte 255))
211 (byteXor b5 (byte 255))
212 (byteXor b6 (byte 255))
213 (byteXor b7 (byte 255))))))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.