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