257def telemetryRecordValueIsEnd =
258 (lambda unrestricted value : (family TelemetryCaptureValue) .
259 (eliminate
260 TelemetryCaptureValue
261 (lambda unrestricted current : (family TelemetryCaptureValue) . Nat)
262 value
263 (branch TelemetryConstant constant . 0)
264 (branch TelemetryUnsigned index . 0)
265 (branch TelemetrySigned index . 0)
266 (branch TelemetryFloat32 index . 0)
267 (branch TelemetryFloat64 index . 0)
268 (branch TelemetryReference kind index . 0)
269 (branch TelemetryBytes index width . 0)
270 (branch TelemetryUnavailable state reason . 0)
271 (branch TelemetryList items induction . 0)
272 (branch TelemetryItemsEnd . 1)
273 (branch TelemetryItemsNext head tail headInduction tailInduction . 0)
274 (branch TelemetryMap members induction . 0)
275 (branch TelemetryMembersEnd . 1)
276 (branch TelemetryMembersNext key head tail headInduction tailInduction . 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.