the submissions, each with its ranges; the semaphore slot follows the
submission's place
2819def cgSubmission =
2820 (lambda unrestricted index : Nat .
2821 (lambda unrestricted ranges : (family StdList (family CgRange)) .
2822 (constructor
2823 NvidiaSubmissionSchedule
2824 NvidiaSubmissionScheduleOne
2825 (constructor
2826 NvidiaSubmissionBatch
2827 NvidiaSubmissionBatchValue
2828 b"coppelius/submission"
2829 (naturalMultiply index prSemaphoreStride)
2830 (cgReferences ranges)))))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.