Source/Systems

Coppelius.Build.Graph

systems/coppelius/src/Coppelius/Build/Graph.alpha

3,461 lines536 declarations124.9 KiBSHA-256 6b9f923bd170

def · lines 1244–1267

cgLaunch

Full file
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.