1089def checkpointMomentField =
1090 (lambda unrestricted kind : (family CheckpointFieldKind) .
1091 (lambda unrestricted slot : Bytes .
1092 (lambda unrestricted parameterName : Bytes .
1093 (lambda unrestricted offset : (family ModelWord64) .
1094 (lambda unrestricted byteLength : (family ModelWord64) .
1095 (lambda unrestricted elements : (family ModelWord64) .
1096 (lambda unrestricted domain : Bytes .
1097 (constructor
1098 CheckpointField
1099 CheckpointFieldValue
1100 kind
1101 (bytes-append
1102 b"learner/adamw/"
1103 (bytes-append slot (bytes-append b"/" parameterName)))
1104 offset
1105 modelWord64Zero
1106 byteLength
1107 elements
1108 domain
1109 b"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.