655def livenessTelemetryFor =
656 (lambda unrestricted plan : (family MemoryPlan) .
657 (lambda unrestricted succeeded : Nat .
658 (lambda unrestricted failure : (family LivenessOptionalError) .
659 (eliminate
660 MemoryPlan
661 (lambda unrestricted current : (family MemoryPlan) . (family LivenessTelemetry))
662 plan
663 (branch
664 MemoryPlanValue
665 arenaBytes
666 peakBytes
667 placements
668 .
669 (app
670 (lambda unrestricted lifetimes : (family Lifetimes) .
671 (constructor
672 LivenessTelemetry
673 LivenessTelemetryValue
674 (lifetimeCount lifetimes)
675 (placementCount placements)
676 (naturalFlagNot (lifetimesValid lifetimes))
677 (placementInvalidCount arenaBytes placements)
678 (placementCollisionCount placements)
679 arenaBytes
680 peakBytes
681 succeeded
682 failure
683 zero))
684 (placementLifetimeList placements)))))))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.