Field projection (fields do not create definitions).
212def indexedRowScatterManifestBlockX =
213 (lambda unrestricted value : (family IndexedRowScatterSM86Manifest) .
214 (eliminate
215 IndexedRowScatterSM86Manifest
216 (lambda unrestricted current : (family IndexedRowScatterSM86Manifest) . Nat)
217 value
218 (branch
219 IndexedRowScatterSM86ManifestValue
220 indexedRowScatterManifestObligation
221 indexedRowScatterManifestGeometry
222 indexedRowScatterManifestExpectedInstructions
223 indexedRowScatterManifestExpectedEncodedBytes
224 indexedRowScatterManifestRegisters
225 indexedRowScatterManifestSharedBytes
226 indexedRowScatterManifestGridX
227 indexedRowScatterManifestGridY
228 indexedRowScatterManifestBlockXField
229 indexedRowScatterManifestABI
230 indexedRowScatterManifestExtents
231 indexedRowScatterManifestReductionSemantics
232 indexedRowScatterManifestAtomicReductionInstructions
233 indexedRowScatterManifestHostFallbackOperations
234 .
235 indexedRowScatterManifestBlockXField)))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.