294def nativeTelemetryEncodeFailure =
295 (lambda unrestricted code : (family NativeTelemetryErrorCode) .
296 (lambda unrestricted identityRejections : Nat .
297 (lambda unrestricted lengthRejections : Nat .
298 (constructor
299 NativeTelemetryEncodeResult
300 NativeTelemetryEncodeFailed
301 code
302 (nativeTelemetryEncodeTelemetry
303 zero
304 zero
305 zero
306 identityRejections
307 lengthRejections
308 (succ zero))))))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.