115def nativePhysicalNativeELFEncodeValidationTelemetry =
116 (lambda unrestricted telemetry : (family NativePhysicalValidationTelemetry) .
117 (eliminate
118 NativePhysicalValidationTelemetry
119 (lambda unrestricted current : (family NativePhysicalValidationTelemetry) . Bytes)
120 telemetry
121 (branch
122 NativePhysicalValidationTelemetryValue
123 counts
124 expected
125 stateExtent
126 resultSlots
127 fallbacks
128 identity
129 failures
130 ordinal
131 code
132 .
133 (bytes-append
134 identity
135 (bytes-append
136 (bytes 0)
137 (bytes-append
138 code
139 (bytes-append
140 (bytes 0)
141 (bytes
142 (nat-to-byte expected)
143 (nat-to-byte fallbacks)
144 (nat-to-byte failures)
145 (nat-to-byte ordinal)))))))))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.