302def telemetryPolicyPlan =
303 (lambda unrestricted policy : (family CapturePolicy) .
304 (lambda unrestricted ordinarySite : (family CaptureSite) .
305 (lambda unrestricted reservedSite : (family CaptureSite) .
306 (lambda unrestricted ordinary : (family TelemetryRecordDeclaration) .
307 (lambda unrestricted reserved : (family TelemetryRecordDeclaration) .
308 (lambda unrestricted schemas : (family StdList Bytes) .
309 (aosChoose
310 (family TelemetryPolicyPlan)
311 (naturalAnd
312 (capturePolicyAdmission policy)
313 (naturalAnd
314 (captureSiteAdmission policy ordinarySite)
315 (naturalAnd
316 (captureSiteAdmission policy reservedSite)
317 (naturalAnd
318 (naturalEqual (captureSiteReserved ordinarySite) 0)
319 (naturalAnd
320 (naturalEqual (captureSiteReserved reservedSite) 1)
321 (naturalAnd
322 (naturalIsZero
323 (bytes-equal
324 (captureSiteIdentifier ordinarySite)
325 (captureSiteIdentifier reservedSite)))
326 (naturalAnd
327 (telemetryPolicyRecordAdmission policy ordinary)
328 (telemetryPolicyRecordAdmission policy reserved))))))))
329 (let unrestricted drain =
330 (telemetryDrainPlanAtContexts
331 (captureSiteIdentifier ordinarySite)
332 (captureSiteIdentifier reservedSite)
333 (aosChoose
334 Nat
335 (captureSiteSelected policy ordinarySite)
336 (capturePolicyOrdinaryCapacity policy)
337 0)
338 (capturePolicyReservedCapacity policy)
339 ordinary
340 reserved
341 (telemetryPolicyDescriptors policy ordinarySite reservedSite schemas))
342 in
343 (eliminate
344 TelemetryDrainPlan
345 (lambda unrestricted current : (family TelemetryDrainPlan) .
346 (family TelemetryPolicyPlan))
347 drain
348 (branch
349 TelemetryDrainReady
350 ordinaryCapacity
351 reservedCapacity
352 ordinaryRecord
353 reservedRecord
354 descriptors
355 bound
356 .
357 (aosChoose
358 (family TelemetryPolicyPlan)
359 (naturalLessOrEqual
360 (publicationRecordBytes bound)
361 (capturePolicyByteBudget policy))
362 (constructor
363 TelemetryPolicyPlan
364 TelemetryPolicyReady
365 policy
366 ordinarySite
367 reservedSite
368 drain)
369 (constructor
370 TelemetryPolicyPlan
371 TelemetryPolicyRefused
372 b"native-capture-policy-byte-budget-refused")))
373 (branch
374 TelemetryDrainRefused
375 reason
376 .
377 (constructor TelemetryPolicyPlan TelemetryPolicyRefused reason))))
378 (constructor
379 TelemetryPolicyPlan
380 TelemetryPolicyRefused
381 b"native-capture-policy-declaration-refused"))))))))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.