738def applicationBuilderFreshnessTelemetry :
739 (pi unrestricted result : (family FreshBinderNameResult) .
740 (family ApplicationBuilderTelemetry)) =
741 (lambda unrestricted result : (family FreshBinderNameResult) .
742 (eliminate FreshBinderNameResult
743 (lambda unrestricted value : (family FreshBinderNameResult) .
744 (family ApplicationBuilderTelemetry))
745 result
746 (branch FreshBinderNameBuilt name probes .
747 (constructor ApplicationBuilderTelemetry
748 ApplicationBuilderTelemetryValue
749 zero
750 zero
751 zero
752 zero
753 probes
754 zero
755 zero
756 applicationBuilderSuccessCode))
757 (branch FreshBinderNameRejected error probes .
758 (constructor ApplicationBuilderTelemetry
759 ApplicationBuilderTelemetryValue
760 zero
761 zero
762 zero
763 zero
764 probes
765 zero
766 zero
767 (app applicationBuilderErrorStableCode error)))))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.