Field projection (fields do not create definitions).
186def indexedRowScatterManifestRegisters =
187 (lambda unrestricted value : (family IndexedRowScatterSM86Manifest) .
188 (eliminate
189 IndexedRowScatterSM86Manifest
190 (lambda unrestricted current : (family IndexedRowScatterSM86Manifest) . Nat)
191 value
192 (branch
193 IndexedRowScatterSM86ManifestValue
194 indexedRowScatterManifestObligation
195 indexedRowScatterManifestGeometry
196 indexedRowScatterManifestExpectedInstructions
197 indexedRowScatterManifestExpectedEncodedBytes
198 indexedRowScatterManifestRegistersField
199 indexedRowScatterManifestSharedBytes
200 indexedRowScatterManifestGridX
201 indexedRowScatterManifestGridY
202 indexedRowScatterManifestBlockX
203 indexedRowScatterManifestABI
204 indexedRowScatterManifestExtents
205 indexedRowScatterManifestReductionSemantics
206 indexedRowScatterManifestAtomicReductionInstructions
207 indexedRowScatterManifestHostFallbackOperations
208 .
209 indexedRowScatterManifestRegistersField)))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.