233def telemetryPolicyRoutedBindingDescriptor =
234 (lambda unrestricted policy : (family CapturePolicy) .
235 (lambda unrestricted tag : Nat .
236 (lambda unrestricted site : (family CaptureSite) .
237 (lambda unrestricted declaration : (family TelemetryRecordDeclaration) .
238 (eliminate
239 TelemetryRecordDeclaration
240 (lambda unrestricted current : (family TelemetryRecordDeclaration) . Bytes)
241 declaration
242 (branch
243 TelemetryRecordDeclarationValue
244 schema
245 recordClass
246 policyIdentity
247 origin
248 method
249 payload
250 .
251 (telemetryPolicyBindingDescriptorWith
252 policy
253 site
254 b"AOS-CAPTURE-BINDING/2"
255 (telemetryPolicyMember
256 b"route_tag"
257 (telemetryPolicyNatural tag)
258 (telemetryPolicyMember
259 b"schema_id"
260 (telemetryPolicyText schema)
261 (telemetryPolicyMember
262 b"record_class"
263 (telemetryPolicyText recordClass)
264 (telemetryPolicyMember
265 b"capacity_scope"
266 (telemetryPolicyText
267 b"shared queue for this role; not a separate allocation per site")
268 (constructor JSON JSONObjectEnd))))))))))))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.