1245def cgLaunch =
1246 (lambda unrestricted image : Nat .
1247 (lambda unrestricted gx : Nat .
1248 (lambda unrestricted gy : Nat .
1249 (lambda unrestricted gz : Nat .
1250 (lambda unrestricted slots : (family StdList (family CgSlot)) .
1251 (constructor
1252 NvidiaLaunchSchedule
1253 NvidiaLaunchScheduleOne
1254 (constructor
1255 NvidiaLaunchTemplate
1256 NvidiaLaunchTemplateValue
1257 cgUnphased
1258 (constructor
1259 NvidiaLaunchKernel
1260 NvidiaLaunchKernelValue
1261 (modelWord64FromNaturalTruncated image)
1262 gx
1263 gy
1264 gz
1265 1
1266 1
1267 cgParameterStride)
1268 (cgBlock slots))))))))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.