112def applicationBuilderTelemetryFor :
113 (pi unrestricted requested : Nat .
114 (pi unrestricted observed : Nat .
115 (pi unrestricted emitted : Nat .
116 (pi unrestricted constructorChecks : Nat .
117 (pi unrestricted freshnessProbes : Nat .
118 (pi unrestricted resultCode : Bytes .
119 (family ApplicationBuilderTelemetry))))))) =
120 (lambda unrestricted requested : Nat .
121 (lambda unrestricted observed : Nat .
122 (lambda unrestricted emitted : Nat .
123 (lambda unrestricted constructorChecks : Nat .
124 (lambda unrestricted freshnessProbes : Nat .
125 (lambda unrestricted resultCode : Bytes .
126 (constructor ApplicationBuilderTelemetry
127 ApplicationBuilderTelemetryValue
128 requested
129 observed
130 emitted
131 constructorChecks
132 freshnessProbes
133 zero
134 zero
135 resultCode)))))))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.