Field projection (fields do not create definitions).
238def indexedRowScatterManifestGridX =
239 (lambda unrestricted value : (family IndexedRowScatterSM86Manifest) .
240 (eliminate
241 IndexedRowScatterSM86Manifest
242 (lambda unrestricted current : (family IndexedRowScatterSM86Manifest) . Nat)
243 value
244 (branch
245 IndexedRowScatterSM86ManifestValue
246 indexedRowScatterManifestObligation
247 indexedRowScatterManifestGeometry
248 indexedRowScatterManifestExpectedInstructions
249 indexedRowScatterManifestExpectedEncodedBytes
250 indexedRowScatterManifestRegisters
251 indexedRowScatterManifestSharedBytes
252 indexedRowScatterManifestGridXField
253 indexedRowScatterManifestGridY
254 indexedRowScatterManifestBlockX
255 indexedRowScatterManifestABI
256 indexedRowScatterManifestExtents
257 indexedRowScatterManifestReductionSemantics
258 indexedRowScatterManifestAtomicReductionInstructions
259 indexedRowScatterManifestHostFallbackOperations
260 .
261 indexedRowScatterManifestGridXField)))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.