179def checkpointCaptureValid =
180 (lambda unrestricted capture : (family CheckpointCapture) .
181 (eliminate
182 LearningRound
183 (lambda unrestricted current : (family LearningRound) . Nat)
184 (checkpointCaptureRound capture)
185 (branch
186 LearningRoundOf
187 epoch
188 version
189 .
190 (naturalAnd
191 (naturalNonzero epoch)
192 (naturalAnd
193 (checkpointManifestWordFits epoch)
194 (naturalAnd
195 (checkpointManifestWordFits version)
196 (checkpointManifestWordFits (checkpointCaptureCursor capture))))))))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.