591def telemetryPolicySiteDescriptors =
592 (lambda unrestricted policy : (family CapturePolicy) .
593 (lambda unrestricted sites : (family TelemetryPolicySites) .
594 (lambda unrestricted schemas : (family StdList Bytes) .
595 (app
596 (eliminate
597 TelemetryPolicySites
598 (lambda unrestricted current : (family TelemetryPolicySites) .
599 (pi unrestricted tail : (family StdList Bytes) . (family StdList Bytes)))
600 sites
601 (branch
602 TelemetryPolicySitesEnd
603 .
604 (lambda unrestricted tail : (family StdList Bytes) . tail))
605 (branch
606 TelemetryPolicySitesNext
607 tag
608 site
609 declaration
610 following
611 induction
612 .
613 (lambda unrestricted tail : (family StdList Bytes) .
614 (constructor
615 StdList
616 StdListCons
617 Bytes
618 (telemetryPolicySiteDescriptor site)
619 (constructor
620 StdList
621 StdListCons
622 Bytes
623 (telemetryPolicyRoutedBindingDescriptor policy tag site declaration)
624 (induction tail))))))
625 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.