431def nativeTelemetryIdentityAt : Nat =
432 (naturalAdd
433 nativeTelemetryCountersAt
434 (bytes-length
435 (nativeTelemetryEncodeCounters
436 (constructor NativeTelemetryCounters NativeTelemetryCountersValue 0 0 0 0 0 0 0 0))))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.