Source/Systems

Coppelius.Build.Graph

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

3,462 lines536 declarations124.9 KiBSHA-256 878726898dd9

def · lines 1418–1432

cgUnaryWith

Full file
1418def cgUnaryWith =
1419  (lambda unrestricted image : Nat .
1420    (lambda unrestricted output : Nat .
1421      (lambda unrestricted input : Nat .
1422        (lambda unrestricted elements : Nat .
1423          (lambda unrestricted extra : (family StdList (family CgSlot)) .
1424            (cgLaunch
1425              image
1426              (naturalDivideUnchecked elements cgThreads)
1427              1
1428              1
1429              (cgSlot
1430                qmdBlockDimensionXOffset
1431                cgThreads
1432                (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.