889def checkpointStorageFieldsEnd =
890 (lambda unrestricted storages : (family CheckpointParameterStorages) .
891 (eliminate
892 CheckpointParameterStorages
893 (lambda unrestricted current : (family CheckpointParameterStorages) .
894 (family CheckpointExtentResult))
895 storages
896 (branch
897 CheckpointParameterStoragesEnd
898 .
899 (constructor CheckpointExtentResult CheckpointExtentAccepted modelWord64Zero))
900 (branch
901 CheckpointParameterStoragesNext
902 head
903 tail
904 ih_tail
905 .
906 (eliminate
907 CheckpointParameterStorage
908 (lambda unrestricted current : (family CheckpointParameterStorage) .
909 (family CheckpointExtentResult))
910 head
911 (branch
912 CheckpointParameterStorageValue
913 role
914 name
915 offset
916 byteLength
917 elements
918 domain
919 initialization
920 .
921 (eliminate
922 CheckpointWord64Result
923 (lambda unrestricted current : (family CheckpointWord64Result) .
924 (family CheckpointExtentResult))
925 (checkpointAddChecked
926 (constructor CheckpointErrorCode CheckpointParameterExtentOverflow)
927 offset
928 byteLength)
929 (branch
930 CheckpointWord64Succeeded
931 headEnd
932 .
933 (eliminate
934 CheckpointExtentResult
935 (lambda unrestricted current : (family CheckpointExtentResult) .
936 (family CheckpointExtentResult))
937 ih_tail
938 (branch
939 CheckpointExtentAccepted
940 tailEnd
941 .
942 (constructor
943 CheckpointExtentResult
944 CheckpointExtentAccepted
945 (modelWord64Select (modelWord64LessThan headEnd tailEnd) tailEnd headEnd)))
946 (branch
947 CheckpointExtentRejected
948 code
949 ordinal
950 .
951 (constructor
952 CheckpointExtentResult
953 CheckpointExtentRejected
954 code
955 (succ ordinal)))))
956 (branch
957 CheckpointWord64Failed
958 code
959 .
960 (constructor CheckpointExtentResult CheckpointExtentRejected code zero))))))))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.