451def telemetryRouteDeclaredContains =
452 (lambda unrestricted wanted : Nat .
453 (lambda unrestricted declarations : (family TelemetryRouteDeclarations) .
454 (eliminate
455 TelemetryRouteDeclarations
456 (lambda unrestricted current : (family TelemetryRouteDeclarations) . Nat)
457 declarations
458 (branch TelemetryRouteDeclarationsEnd . 0)
459 (branch
460 TelemetryRouteDeclarationsNext
461 tag
462 context
463 declaration
464 tail
465 induction
466 .
467 (naturalOr (naturalEqual tag wanted) 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.