266def publicationWholeArenaResidentsForBody =
267 (lambda unrestricted applicationBytes : Nat .
268 (lambda unrestricted ordinaryCapacity : Nat .
269 (lambda unrestricted reservedCapacity : Nat .
270 (lambda unrestricted bodyBytes : Nat .
271 (constructor
272 ArenaResidents
273 ArenaResidentsNext
274 (constructor
275 ArenaResident
276 ArenaResidentValue
277 b"publication-control"
278 (naturalAdd (publicationBase applicationBytes ordinaryCapacity reservedCapacity) 0)
279 publicationStateBytes
280 captureWordBytes)
281 (constructor
282 ArenaResidents
283 ArenaResidentsNext
284 (constructor
285 ArenaResident
286 ArenaResidentValue
287 b"publication-body"
288 (naturalAdd
289 (publicationBase applicationBytes ordinaryCapacity reservedCapacity)
290 publicationBodyAt)
291 (publicationPaddedBytes bodyBytes)
292 captureWordBytes)
293 (constructor
294 ArenaResidents
295 ArenaResidentsNext
296 (constructor
297 ArenaResident
298 ArenaResidentValue
299 b"publication-record"
300 (naturalAdd
301 (publicationBase applicationBytes ordinaryCapacity reservedCapacity)
302 (publicationRecordAtForBody bodyBytes))
303 (publicationRecordBytes bodyBytes)
304 captureWordBytes)
305 (constructor
306 ArenaResidents
307 ArenaResidentsNext
308 (constructor
309 ArenaResident
310 ArenaResidentValue
311 b"publication-zero-clock"
312 (naturalAdd
313 (publicationBase applicationBytes ordinaryCapacity reservedCapacity)
314 (publicationZeroClockAtForBody bodyBytes))
315 publicationZeroClockBytes
316 captureWordBytes)
317 (constructor
318 ArenaResidents
319 ArenaResidentsNext
320 (constructor
321 ArenaResident
322 ArenaResidentValue
323 b"publication-seal-work"
324 (naturalAdd
325 (publicationBase applicationBytes ordinaryCapacity reservedCapacity)
326 (publicationSealWorkAtForBody bodyBytes))
327 digestWorkBytes
328 captureWordBytes)
329 (captureWithIdentityArenaResidents
330 applicationBytes
331 ordinaryCapacity
332 reservedCapacity))))))))))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.