body 0, body 1, ..., body (count - 1)
1290def cgFor =
1291 (lambda unrestricted count : Nat .
1292 (lambda unrestricted body : (pi unrestricted index : Nat . (family NvidiaLaunchSchedule)) .
1293 (nat-eliminate
1294 (lambda unrestricted current : Nat . (family NvidiaLaunchSchedule))
1295 cgNothing
1296 (lambda unrestricted p : Nat .
1297 (lambda unrestricted induction : (family NvidiaLaunchSchedule) .
1298 (cgThen
1299 (body (naturalSaturatingSubtract (naturalSaturatingSubtract count 1) p))
1300 induction)))
1301 count)))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.