56def sha256StateAdd =
57 (lambda unrestricted left : (family SHA256State) .
58 (lambda unrestricted right : (family SHA256State) .
59 (eliminate
60 SHA256State
61 (lambda unrestricted current : (family SHA256State) . (family SHA256State))
62 left
63 (branch
64 SHA256StateValue
65 l0
66 l1
67 l2
68 l3
69 l4
70 l5
71 l6
72 l7
73 .
74 (eliminate
75 SHA256State
76 (lambda unrestricted current : (family SHA256State) . (family SHA256State))
77 right
78 (branch
79 SHA256StateValue
80 r0
81 r1
82 r2
83 r3
84 r4
85 r5
86 r6
87 r7
88 .
89 (constructor
90 SHA256State
91 SHA256StateValue
92 (modelWord32Add l0 r0)
93 (modelWord32Add l1 r1)
94 (modelWord32Add l2 r2)
95 (modelWord32Add l3 r3)
96 (modelWord32Add l4 r4)
97 (modelWord32Add l5 r5)
98 (modelWord32Add l6 r6)
99 (modelWord32Add 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.