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