Field projection (fields do not create definitions).
160def indexedRowScatterManifestHostFallbackOperations =
161 (lambda unrestricted value : (family IndexedRowScatterSM86Manifest) .
162 (eliminate
163 IndexedRowScatterSM86Manifest
164 (lambda unrestricted current : (family IndexedRowScatterSM86Manifest) . Nat)
165 value
166 (branch
167 IndexedRowScatterSM86ManifestValue
168 indexedRowScatterManifestObligation
169 indexedRowScatterManifestGeometry
170 indexedRowScatterManifestExpectedInstructions
171 indexedRowScatterManifestExpectedEncodedBytes
172 indexedRowScatterManifestRegisters
173 indexedRowScatterManifestSharedBytes
174 indexedRowScatterManifestGridX
175 indexedRowScatterManifestGridY
176 indexedRowScatterManifestBlockX
177 indexedRowScatterManifestABI
178 indexedRowScatterManifestExtents
179 indexedRowScatterManifestReductionSemantics
180 indexedRowScatterManifestAtomicReductionInstructions
181 indexedRowScatterManifestHostFallbackOperationsField
182 .
183 indexedRowScatterManifestHostFallbackOperationsField)))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.