Field projection (fields do not create definitions).
134def indexedRowScatterManifestSharedBytes =
135 (lambda unrestricted value : (family IndexedRowScatterSM86Manifest) .
136 (eliminate
137 IndexedRowScatterSM86Manifest
138 (lambda unrestricted current : (family IndexedRowScatterSM86Manifest) . Nat)
139 value
140 (branch
141 IndexedRowScatterSM86ManifestValue
142 indexedRowScatterManifestObligation
143 indexedRowScatterManifestGeometry
144 indexedRowScatterManifestExpectedInstructions
145 indexedRowScatterManifestExpectedEncodedBytes
146 indexedRowScatterManifestRegisters
147 indexedRowScatterManifestSharedBytesField
148 indexedRowScatterManifestGridX
149 indexedRowScatterManifestGridY
150 indexedRowScatterManifestBlockX
151 indexedRowScatterManifestABI
152 indexedRowScatterManifestExtents
153 indexedRowScatterManifestReductionSemantics
154 indexedRowScatterManifestAtomicReductionInstructions
155 indexedRowScatterManifestHostFallbackOperations
156 .
157 indexedRowScatterManifestSharedBytesField)))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.