556def telemetryCompileRecordRoutes =
557 (lambda unrestricted declarations : (family TelemetryRouteDeclarations) .
558 (eliminate
559 TelemetryRouteDeclarations
560 (lambda unrestricted current : (family TelemetryRouteDeclarations) .
561 (family TelemetryRecordRoutes))
562 declarations
563 (branch
564 TelemetryRouteDeclarationsEnd
565 .
566 (constructor TelemetryRecordRoutes TelemetryRecordRoutesEnd))
567 (branch
568 TelemetryRouteDeclarationsNext
569 tag
570 context
571 declaration
572 tail
573 induction
574 .
575 (constructor
576 TelemetryRecordRoutes
577 TelemetryRecordRoutesNext
578 tag
579 (telemetryRecordPlanAtContext context declaration)
580 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.