962def checkpointParameterCount =
963 (lambda unrestricted storages : (family CheckpointParameterStorages) .
964 (eliminate
965 CheckpointParameterStorages
966 (lambda unrestricted current : (family CheckpointParameterStorages) .
967 (family CheckpointParameterCountResult))
968 storages
969 (branch
970 CheckpointParameterStoragesEnd
971 .
972 (constructor
973 CheckpointParameterCountResult
974 CheckpointParameterCountAccepted
975 modelWord64Zero))
976 (branch
977 CheckpointParameterStoragesNext
978 head
979 tail
980 ih_tail
981 .
982 (eliminate
983 CheckpointParameterCountResult
984 (lambda unrestricted current : (family CheckpointParameterCountResult) .
985 (family CheckpointParameterCountResult))
986 ih_tail
987 (branch
988 CheckpointParameterCountAccepted
989 tailCount
990 .
991 (eliminate
992 CheckpointParameterStorage
993 (lambda unrestricted current : (family CheckpointParameterStorage) .
994 (family CheckpointParameterCountResult))
995 head
996 (branch
997 CheckpointParameterStorageValue
998 role
999 name
1000 offset
1001 byteLength
1002 elements
1003 domain
1004 initialization
1005 .
1006 (eliminate
1007 CheckpointParameterRole
1008 (lambda unrestricted current : (family CheckpointParameterRole) .
1009 (family CheckpointParameterCountResult))
1010 role
1011 (branch
1012 CheckpointTrainableParameter
1013 .
1014 (eliminate
1015 CheckpointWord64Result
1016 (lambda unrestricted current : (family CheckpointWord64Result) .
1017 (family CheckpointParameterCountResult))
1018 (checkpointAddChecked
1019 (constructor CheckpointErrorCode CheckpointParameterCountOverflow)
1020 elements
1021 tailCount)
1022 (branch
1023 CheckpointWord64Succeeded
1024 count
1025 .
1026 (constructor
1027 CheckpointParameterCountResult
1028 CheckpointParameterCountAccepted
1029 count))
1030 (branch
1031 CheckpointWord64Failed
1032 code
1033 .
1034 (constructor
1035 CheckpointParameterCountResult
1036 CheckpointParameterCountRejected
1037 zero))))
1038 (branch
1039 CheckpointFrozenParameter
1040 .
1041 (eliminate
1042 CheckpointWord64Result
1043 (lambda unrestricted current : (family CheckpointWord64Result) .
1044 (family CheckpointParameterCountResult))
1045 (checkpointAddChecked
1046 (constructor CheckpointErrorCode CheckpointParameterCountOverflow)
1047 elements
1048 tailCount)
1049 (branch
1050 CheckpointWord64Succeeded
1051 count
1052 .
1053 (constructor
1054 CheckpointParameterCountResult
1055 CheckpointParameterCountAccepted
1056 count))
1057 (branch
1058 CheckpointWord64Failed
1059 code
1060 .
1061 (constructor
1062 CheckpointParameterCountResult
1063 CheckpointParameterCountRejected
1064 zero))))
1065 (branch
1066 CheckpointPersistentState
1067 .
1068 (constructor
1069 CheckpointParameterCountResult
1070 CheckpointParameterCountAccepted
1071 tailCount))))))
1072 (branch
1073 CheckpointParameterCountRejected
1074 ordinal
1075 .
1076 (constructor
1077 CheckpointParameterCountResult
1078 CheckpointParameterCountRejected
1079 (succ ordinal)))))))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.