Aggregate every independently admitted frame/checkpoint arena and the
local state/endpoint block. The whole host must fit with no live aliases.
487def chResidents =
488 (lambda unrestricted layout : (family CoordinateHostLayout) .
489 (stdListFold
490 (family RegionFrameLayout)
491 (family ArenaResidents)
492 (lambda unrestricted frame : (family RegionFrameLayout) .
493 (lambda unrestricted rest : (family ArenaResidents) .
494 (constructor
495 ArenaResidents
496 ArenaResidentsNext
497 (constructor
498 ArenaResident
499 ArenaResidentValue
500 b"coordinate-frame"
501 (frameBase frame)
502 (naturalSaturatingSubtract (frameEnd frame) (frameBase frame))
503 1)
504 rest)))
505 (constructor
506 ArenaResidents
507 ArenaResidentsNext
508 (constructor
509 ArenaResident
510 ArenaResidentValue
511 b"coordinate-owned-state"
512 (chStateAt layout)
513 (naturalSaturatingSubtract (chExtent layout) (chStateAt layout))
514 coordinateWordBytes)
515 (nativeRegionResidents (chCheckpoint layout)))
516 (constructor
517 StdList
518 StdListCons
519 (family RegionFrameLayout)
520 (chPrediction layout)
521 (constructor
522 StdList
523 StdListCons
524 (family RegionFrameLayout)
525 (chResidual layout)
526 (constructor
527 StdList
528 StdListCons
529 (family RegionFrameLayout)
530 (chAcknowledgment layout)
531 (constructor
532 StdList
533 StdListCons
534 (family RegionFrameLayout)
535 (chCapture layout)
536 (constructor
537 StdList
538 StdListCons
539 (family RegionFrameLayout)
540 (chCommitted layout)
541 (constructor StdList StdListEmpty (family RegionFrameLayout)))))))))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.