229def nativeTelemetryWord64Bytes =
230 (lambda unrestricted value : (family ModelWord64) .
231 (eliminate
232 ModelWord64
233 (lambda unrestricted current : (family ModelWord64) . Bytes)
234 value
235 (branch
236 ModelWord64Value
237 byte0
238 byte1
239 byte2
240 byte3
241 byte4
242 byte5
243 byte6
244 byte7
245 .
246 (bytes-cons
247 byte0
248 (bytes-cons
249 byte1
250 (bytes-cons
251 byte2
252 (bytes-cons
253 byte3
254 (bytes-cons byte4 (bytes-cons byte5 (bytes-cons byte6 (bytes-cons byte7 b"")))))))))))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.