599def telemetryRouteMaximumRecord =
600 (lambda unrestricted routes : (family TelemetryRecordRoutes) .
601 (eliminate
602 TelemetryRecordRoutes
603 (lambda unrestricted current : (family TelemetryRecordRoutes) . (family TelemetryRecordPlan))
604 routes
605 (branch
606 TelemetryRecordRoutesEnd
607 .
608 (constructor TelemetryRecordPlan TelemetryRecordRefused b"no-record-route"))
609 (branch
610 TelemetryRecordRoutesNext
611 tag
612 recipe
613 tail
614 induction
615 .
616 (aosChoose
617 (family TelemetryRecordPlan)
618 (naturalLessOrEqual
619 (telemetryDrainRecordBytes induction)
620 (telemetryDrainRecordBytes recipe))
621 recipe
622 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.