1440def cgBinary =
1441 (lambda unrestricted image : Nat .
1442 (lambda unrestricted output : Nat .
1443 (lambda unrestricted left : Nat .
1444 (lambda unrestricted right : Nat .
1445 (lambda unrestricted elements : Nat .
1446 (cgLaunch
1447 image
1448 (naturalDivideUnchecked elements cgThreads)
1449 1
1450 1
1451 (cgSlot
1452 0
1453 cgThreads
1454 (cgPointer
1455 (cgArgument 0)
1456 output
1457 (cgPointer (cgArgument 1) left (cgPointer (cgArgument 2) right cgNoSlots))))))))))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.