2947def cgSubmissionCount =
2948 (lambda unrestricted schedule : (family NvidiaSubmissionSchedule) .
2949 (eliminate
2950 NvidiaSubmissionSchedule
2951 (lambda unrestricted current : (family NvidiaSubmissionSchedule) . Nat)
2952 schedule
2953 (branch NvidiaSubmissionScheduleEmpty . 0)
2954 (branch NvidiaSubmissionScheduleOne batch . 1)
2955 (branch
2956 NvidiaSubmissionScheduleAppend
2957 left
2958 right
2959 leftCount
2960 rightCount
2961 .
2962 (naturalAdd leftCount rightCount))
2963 (branch
2964 NvidiaSubmissionScheduleRepeat
2965 count
2966 referenceStride
2967 semaphoreStride
2968 body
2969 bodyCount
2970 .
2971 (naturalMultiply count bodyCount))
2972 (branch NvidiaSubmissionScheduleProfiled offset body bodyCount . bodyCount)))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.