2990def cgSubmissionReferences =
2991 (lambda unrestricted schedule : (family NvidiaSubmissionSchedule) .
2992 (eliminate
2993 NvidiaSubmissionSchedule
2994 (lambda unrestricted current : (family NvidiaSubmissionSchedule) . Nat)
2995 schedule
2996 (branch NvidiaSubmissionScheduleEmpty . 0)
2997 (branch
2998 NvidiaSubmissionScheduleOne
2999 batch
3000 .
3001 (eliminate
3002 NvidiaSubmissionBatch
3003 (lambda unrestricted current : (family NvidiaSubmissionBatch) . Nat)
3004 batch
3005 (branch
3006 NvidiaSubmissionBatchValue
3007 identity
3008 semaphore
3009 references
3010 .
3011 (cgReferenceCount references))))
3012 (branch
3013 NvidiaSubmissionScheduleAppend
3014 left
3015 right
3016 leftCount
3017 rightCount
3018 .
3019 (naturalAdd leftCount rightCount))
3020 (branch
3021 NvidiaSubmissionScheduleRepeat
3022 count
3023 referenceStride
3024 semaphoreStride
3025 body
3026 bodyCount
3027 .
3028 (naturalMultiply count bodyCount))
3029 (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.