96def modelWord64And =
97 (lambda unrestricted left : (family ModelWord64) .
98 (lambda unrestricted right : (family ModelWord64) .
99 (eliminate
100 ModelWord64
101 (lambda unrestricted current : (family ModelWord64) . (family ModelWord64))
102 left
103 (branch
104 ModelWord64Value
105 l0
106 l1
107 l2
108 l3
109 l4
110 l5
111 l6
112 l7
113 .
114 (eliminate
115 ModelWord64
116 (lambda unrestricted current : (family ModelWord64) . (family ModelWord64))
117 right
118 (branch
119 ModelWord64Value
120 r0
121 r1
122 r2
123 r3
124 r4
125 r5
126 r6
127 r7
128 .
129 (constructor
130 ModelWord64
131 ModelWord64Value
132 (byteAnd l0 r0)
133 (byteAnd l1 r1)
134 (byteAnd l2 r2)
135 (byteAnd l3 r3)
136 (byteAnd l4 r4)
137 (byteAnd l5 r5)
138 (byteAnd l6 r6)
139 (byteAnd 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.