41def modelWord32Or =
42 (lambda unrestricted left : (family ModelWord32) .
43 (lambda unrestricted right : (family ModelWord32) .
44 (eliminate
45 ModelWord32
46 (lambda unrestricted current : (family ModelWord32) . (family ModelWord32))
47 left
48 (branch
49 ModelWord32Value
50 l0
51 l1
52 l2
53 l3
54 .
55 (eliminate
56 ModelWord32
57 (lambda unrestricted current : (family ModelWord32) . (family ModelWord32))
58 right
59 (branch
60 ModelWord32Value
61 r0
62 r1
63 r2
64 r3
65 .
66 (constructor
67 ModelWord32
68 ModelWord32Value
69 (byteOr l0 r0)
70 (byteOr l1 r1)
71 (byteOr l2 r2)
72 (byteOr 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.