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