156def frameLayoutResidents =
157 (lambda unrestricted layout : (family RegionFrameLayout) .
158 (constructor
159 ArenaResidents
160 ArenaResidentsNext
161 (constructor
162 ArenaResident
163 ArenaResidentValue
164 b"frame-content-and-padding"
165 (frameHeaderAt layout)
166 (framePaddedBytes layout)
167 1)
168 (constructor
169 ArenaResidents
170 ArenaResidentsNext
171 (constructor
172 ArenaResident
173 ArenaResidentValue
174 b"frame-expected-header"
175 (frameExpectedAt layout)
176 (bytes-length (frameHeader layout))
177 1)
178 (constructor
179 ArenaResidents
180 ArenaResidentsNext
181 (constructor
182 ArenaResident
183 ArenaResidentValue
184 b"frame-received-digest"
185 (frameReceivedAt layout)
186 regionFrameDigestBytes
187 1)
188 (constructor
189 ArenaResidents
190 ArenaResidentsNext
191 (constructor
192 ArenaResident
193 ArenaResidentValue
194 b"frame-computed-digest"
195 (frameComputedAt layout)
196 regionFrameDigestBytes
197 1)
198 (constructor
199 ArenaResidents
200 ArenaResidentsNext
201 (constructor
202 ArenaResident
203 ArenaResidentValue
204 b"frame-hash-work"
205 (frameWorkAt layout)
206 digestWorkBytes
207 digestWorkAlignment)
208 (constructor
209 ArenaResidents
210 ArenaResidentsNext
211 (constructor
212 ArenaResident
213 ArenaResidentValue
214 b"frame-phase"
215 (framePhaseAt layout)
216 digestAddressBytes
217 digestAddressBytes)
218 (constructor ArenaResidents ArenaResidentsEnd))))))))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.