Field projection (fields do not create definitions).
117def indexedRowScatterTelemetryManifest =
118 (lambda unrestricted value : (family IndexedRowScatterSM86Telemetry) .
119 (eliminate
120 IndexedRowScatterSM86Telemetry
121 (lambda unrestricted current : (family IndexedRowScatterSM86Telemetry) .
122 (family IndexedRowScatterSM86Manifest))
123 value
124 (branch
125 IndexedRowScatterSM86TelemetryValue
126 indexedRowScatterTelemetryManifestField
127 indexedRowScatterTelemetryObservedInstructions
128 indexedRowScatterTelemetryObservedEncodedBytes
129 indexedRowScatterTelemetryAtomicReductionInstructions
130 .
131 indexedRowScatterTelemetryManifestField)))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.