757def nativeRegionDestinationResidents =
758 (lambda unrestricted destinations : (family StdList (family NativeRegionDestination)) .
759 (lambda unrestricted rest : (family ArenaResidents) .
760 (stdListFold
761 (family NativeRegionDestination)
762 (family ArenaResidents)
763 (lambda unrestricted destination : (family NativeRegionDestination) .
764 (lambda unrestricted tail : (family ArenaResidents) .
765 (eliminate
766 NativeRegionDestination
767 (lambda unrestricted current : (family NativeRegionDestination) .
768 (family ArenaResidents))
769 destination
770 (branch
771 NativeRegionDestinationOf
772 ordinal
773 interval
774 offset
775 .
776 (constructor
777 ArenaResidents
778 ArenaResidentsNext
779 (constructor
780 ArenaResident
781 ArenaResidentValue
782 b"restored-logical-fragment"
783 offset
784 (intervalExtent interval)
785 1)
786 tail)))))
787 rest
788 destinations)))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.