AlphaGitHub
Source/Packages

Runtime.TelemetryPolicy

packages/execution/src/Runtime/TelemetryPolicy.alpha

807 lines46 declarations32.1 KiBSHA-256 924158de3c5b
Download exact fileView at revision426597bda5753d86c4

def · lines 385–399

telemetryPolicyDecisionAt

Full file
The selector's decision and saved caller iteration follow the derived drain arena. It is not application state and cannot overlap capture/identity storage.
385def telemetryPolicyDecisionAt =
386  (lambda unrestricted applicationBytes : Nat .
387    (lambda unrestricted ordinaryCapacity : Nat .
388      (lambda unrestricted reservedCapacity : Nat .
389        (lambda unrestricted ordinary : (family TelemetryRecordPlan) .
390          (lambda unrestricted reserved : (family TelemetryRecordPlan) .
391            (lambda unrestricted bound : Nat .
392              (captureAlign
393                (telemetryDrainArenaBytes
394                  applicationBytes
395                  ordinaryCapacity
396                  reservedCapacity
397                  ordinary
398                  reserved
399                  bound))))))))

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.