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