The same launch submitted `count` times, one semaphore slot per
submission: the step is idempotent, so every submission rewrites the same
record, and the host waits on the last slot. The semaphore resident grows
with the count; the certificate is decided for the count in use.
183def linearStepPlanSubmissionsRepeated =
184 (lambda unrestricted count : Nat .
185 (constructor NvidiaSubmissionSchedule NvidiaSubmissionScheduleRepeat
186 count zero linearStepPlanSemaphoreStride linearStepPlanSubmissions))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.