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