507def telemetryPolicyAllRoutes =
508 (lambda unrestricted sites : (family TelemetryPolicySites) .
509 (eliminate
510 TelemetryPolicySites
511 (lambda unrestricted current : (family TelemetryPolicySites) .
512 (family TelemetryRouteDeclarations))
513 sites
514 (branch
515 TelemetryPolicySitesEnd
516 .
517 (constructor TelemetryRouteDeclarations TelemetryRouteDeclarationsEnd))
518 (branch
519 TelemetryPolicySitesNext
520 tag
521 site
522 declaration
523 following
524 induction
525 .
526 (constructor
527 TelemetryRouteDeclarations
528 TelemetryRouteDeclarationsNext
529 tag
530 (captureSiteIdentifier site)
531 declaration
532 induction))))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.