Source/Systems

Coppelius.Build.Graph

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

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

def · lines 1417–1431

cgUnaryWith

Full file
1417def cgUnaryWith =
1418  (lambda unrestricted image : Nat .
1419    (lambda unrestricted output : Nat .
1420      (lambda unrestricted input : Nat .
1421        (lambda unrestricted elements : Nat .
1422          (lambda unrestricted extra : (family StdList (family CgSlot)) .
1423            (cgLaunch
1424              image
1425              (naturalDivideUnchecked elements cgThreads)
1426              1
1427              1
1428              (cgSlot
1429                qmdBlockDimensionXOffset
1430                cgThreads
1431                (cgPointer (cgArgument 0) output (cgPointer (cgArgument 1) input extra)))))))))

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.