738def nativeCheckpointResidents =
739 (lambda unrestricted layout : (family NativeCheckpointLayout) .
740 (constructor
741 ArenaResidents
742 ArenaResidentsNext
743 (constructor
744 ArenaResident
745 ArenaResidentValue
746 b"checkpoint-file"
747 (nativeCheckpointBase layout)
748 (nativeCheckpointFileBytes layout)
749 1)
750 (constructor
751 ArenaResidents
752 ArenaResidentsNext
753 (constructor
754 ArenaResident
755 ArenaResidentValue
756 b"checkpoint-readback"
757 (nativeCheckpointReadbackAt layout)
758 (succ (nativeCheckpointFileBytes layout))
759 1)
760 (constructor
761 ArenaResidents
762 ArenaResidentsNext
763 (constructor
764 ArenaResident
765 ArenaResidentValue
766 b"checkpoint-chunk"
767 (nativeCheckpointChunkAt layout)
768 (nativeCheckpointChunkBytes layout)
769 1)
770 (constructor
771 ArenaResidents
772 ArenaResidentsNext
773 (constructor
774 ArenaResident
775 ArenaResidentValue
776 b"checkpoint-metadata"
777 (nativeCheckpointMetadataAt layout)
778 (nativeCheckpointHeaderBytes layout)
779 1)
780 (constructor
781 ArenaResidents
782 ArenaResidentsNext
783 (constructor
784 ArenaResident
785 ArenaResidentValue
786 b"checkpoint-digest"
787 (nativeCheckpointDigestAt layout)
788 checkpointEnvelopeDigestBytes
789 1)
790 (constructor
791 ArenaResidents
792 ArenaResidentsNext
793 (constructor
794 ArenaResident
795 ArenaResidentValue
796 b"checkpoint-hash-work"
797 (nativeCheckpointWorkAt layout)
798 digestWorkBytes
799 1)
800 (constructor
801 ArenaResidents
802 ArenaResidentsNext
803 (constructor
804 ArenaResident
805 ArenaResidentValue
806 b"checkpoint-pointers"
807 (nativeCheckpointSourcePointerAt layout)
808 (naturalMultiply 2 nativeCheckpointWordBytes)
809 1)
810 (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.