156def nativeTelemetryErrorCodeBytes =
157 (lambda unrestricted code : (family NativeTelemetryErrorCode) .
158 (eliminate
159 NativeTelemetryErrorCode
160 (lambda unrestricted current : (family NativeTelemetryErrorCode) . Bytes)
161 code
162 (branch NativeTelemetryIdentityInvalid . b"ALPHA-TEL-001")
163 (branch NativeTelemetryCounterOverflow . b"ALPHA-TEL-002")
164 (branch NativeTelemetryErrorLengthOverflow . b"ALPHA-TEL-003")
165 (branch NativeTelemetryPayloadLengthOverflow . b"ALPHA-TEL-004")
166 (branch NativeTelemetryPathEmpty . b"ALPHA-TEL-005")
167 (branch NativeTelemetryRecordEmpty . b"ALPHA-TEL-006")
168 (branch NativeTelemetryOpenFailed . b"ALPHA-TEL-007")
169 (branch NativeTelemetryWriteFailed . b"ALPHA-TEL-008")
170 (branch NativeTelemetryWriteShort . b"ALPHA-TEL-009")
171 (branch NativeTelemetrySyncFailed . b"ALPHA-TEL-010")
172 (branch NativeTelemetryCloseFailed . b"ALPHA-TEL-011")
173 (branch NativeTelemetryUnexpectedResponse . b"ALPHA-TEL-012")
174 (branch NativeTelemetryTerminalStateReused . b"ALPHA-TEL-013")
175 (branch NativeTelemetryHostFallbackObserved . b"ALPHA-TEL-014")))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.