2841def cgSubmissionFor =
2842 (lambda unrestricted count : Nat .
2843 (lambda unrestricted body : (pi unrestricted index : Nat . (family NvidiaSubmissionSchedule)) .
2844 (nat-eliminate
2845 (lambda unrestricted current : Nat . (family NvidiaSubmissionSchedule))
2846 (constructor NvidiaSubmissionSchedule NvidiaSubmissionScheduleEmpty)
2847 (lambda unrestricted p : Nat .
2848 (lambda unrestricted induction : (family NvidiaSubmissionSchedule) .
2849 (cgSubmissionThen
2850 (body (naturalSaturatingSubtract (naturalSaturatingSubtract count 1) p))
2851 induction)))
2852 count)))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.