174def telemetryPolicyBindingDescriptorWith =
175 (lambda unrestricted policy : (family CapturePolicy) .
176 (lambda unrestricted site : (family CaptureSite) .
177 (lambda unrestricted version : Bytes .
178 (lambda unrestricted fields : (family JSON) .
179 (telemetryRecordJSON
180 (aosDescriptorRecord
181 b"capture-binding"
182 (bytes-append
183 b"capture-binding:"
184 (bytes-append
185 (capturePolicyIdentifier policy)
186 (bytes-append b":" (captureSiteIdentifier site))))
187 (constructor
188 JSON
189 JSONObject
190 (telemetryPolicyMember
191 b"format"
192 (telemetryPolicyText version)
193 (telemetryPolicyMember
194 b"policy_id"
195 (telemetryPolicyText (capturePolicyIdentifier policy))
196 (telemetryPolicyMember
197 b"context_id"
198 (telemetryPolicyText (captureSiteIdentifier site))
199 (telemetryPolicyMember
200 b"selected_by_profile"
201 (constructor JSON JSONBoolean (captureSiteSelected policy site))
202 (telemetryPolicyMember
203 b"selection_reason"
204 (telemetryPolicyText
205 (aosChoose
206 Bytes
207 (captureSiteSelected policy site)
208 b"profile-selected; cadence may exclude individual opportunities"
209 b"capture-profile-excluded"))
210 (telemetryPolicyMember
211 b"effective_event_capacity"
212 (telemetryPolicyNatural
213 (aosChoose
214 Nat
215 (captureSiteReserved site)
216 (capturePolicyReservedCapacity policy)
217 (aosChoose
218 Nat
219 (captureSiteSelected policy site)
220 (capturePolicyOrdinaryCapacity policy)
221 0)))
222 fields)))))))))))))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.