146def nativePhysicalNativeELFEncodeImageFailureTelemetry =
147 (lambda unrestricted telemetry : (family NativePhysicalImageFailureTelemetry) .
148 (eliminate
149 NativePhysicalImageFailureTelemetry
150 (lambda unrestricted current : (family NativePhysicalImageFailureTelemetry) . Bytes)
151 telemetry
152 (branch
153 NativePhysicalImageFailureTelemetryValue
154 validation
155 encoded
156 bodyBytes
157 code
158 .
159 (bytes-append
160 (nativePhysicalNativeELFEncodeValidationTelemetry validation)
161 (bytes-append (bytes 0) code)))))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.