1266def exactCrossEntropySM86ManifestInstructions =
1267 (lambda unrestricted manifest : (family ExactCrossEntropySM86Manifest) .
1268 (eliminate
1269 ExactCrossEntropySM86Manifest
1270 (lambda unrestricted current : (family ExactCrossEntropySM86Manifest) . Nat)
1271 manifest
1272 (branch
1273 ExactCrossEntropySM86ManifestValue
1274 variant
1275 instructions
1276 bytes
1277 registers
1278 shared
1279 grid
1280 block
1281 abi
1282 extents
1283 r0s
1284 r0e
1285 r1s
1286 r1e
1287 rows
1288 vocabulary
1289 tile
1290 tiles
1291 hostFallback
1292 .
1293 instructions)))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.