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 627–636

telemetryPolicyRoutedDescriptors

Full file
627def telemetryPolicyRoutedDescriptors =
628  (lambda unrestricted policy : (family CapturePolicy) .
629    (lambda unrestricted sites : (family TelemetryPolicySites) .
630      (lambda unrestricted schemas : (family StdList Bytes) .
631        (constructor
632          StdList
633          StdListCons
634          Bytes
635          (telemetryPolicyDescriptor policy)
636          (telemetryPolicySiteDescriptors policy sites schemas)))))

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.