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