164def nativePhysicalNativeELFFailureTelemetryFor =
165 (lambda unrestricted phase : Bytes .
166 (lambda unrestricted code : (family NativePhysicalNativeELFErrorCode) .
167 (lambda unrestricted imageTelemetry : Bytes .
168 (lambda unrestricted subject : Bytes .
169 (constructor
170 NativePhysicalNativeELFFailureTelemetry
171 NativePhysicalNativeELFFailureTelemetryValue
172 phase
173 (nativePhysicalNativeELFErrorCodeBytes code)
174 imageTelemetry
175 subject
176 (succ zero)
177 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.