1283def livenessCompileTelemetryFor =
1284 (lambda unrestricted lifetimeCount : Nat .
1285 (lambda unrestricted arenaBytes : ByteCount .
1286 (lambda unrestricted state : (family LivenessPlacementState) .
1287 (lambda unrestricted succeeded : Nat .
1288 (lambda unrestricted failure : (family LivenessOptionalError) .
1289 (eliminate
1290 LivenessPlacementState
1291 (lambda unrestricted current : (family LivenessPlacementState) .
1292 (family LivenessCompileTelemetry))
1293 state
1294 (branch
1295 LivenessPlacementStateValue
1296 peak
1297 slots
1298 placements
1299 reused
1300 fresh
1301 .
1302 (constructor
1303 LivenessCompileTelemetry
1304 LivenessCompileTelemetryValue
1305 lifetimeCount
1306 (placementCount placements)
1307 reused
1308 fresh
1309 arenaBytes
1310 peak
1311 succeeded
1312 failure
1313 zero))))))))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.