427def deviceArenaLaunchOf =
428 (lambda unrestricted template : (family NvidiaLaunchTemplate) .
429 (eliminate
430 NvidiaLaunchTemplate
431 (lambda unrestricted current : (family NvidiaLaunchTemplate) . (family DeviceArenaLaunch))
432 template
433 (branch
434 NvidiaLaunchTemplateValue
435 identity
436 kernel
437 block
438 .
439 (eliminate
440 NvidiaParameterBlock
441 (lambda unrestricted current : (family NvidiaParameterBlock) . (family DeviceArenaLaunch))
442 block
443 (branch
444 NvidiaParameterBlockValue
445 patches
446 .
447 (constructor
448 DeviceArenaLaunch
449 DeviceArenaLaunchValue
450 identity
451 0
452 (constructor DeviceArenaGenerators DeviceArenaGeneratorsEnd)
453 (deviceArenaSpansOf patches)))))))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.