frames of a table iteration: every value any frame gives a launch's
word taken into its span
1053def deviceArenaFrames =
1054 (lambda unrestricted frames : (family NvidiaParameterAdjustmentFrames) .
1055 (lambda unrestricted launch : (family DeviceArenaLaunch) .
1056 (eliminate
1057 NvidiaParameterAdjustmentFrames
1058 (lambda unrestricted current : (family NvidiaParameterAdjustmentFrames) .
1059 (family DeviceArenaLaunch))
1060 frames
1061 (branch NvidiaParameterAdjustmentFramesEnd . launch)
1062 (branch
1063 NvidiaParameterAdjustmentFramesNext
1064 frame
1065 tail
1066 induction
1067 .
1068 (deviceArenaFold deviceArenaInclude frame induction)))))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.