AlphaGitHub
Source/Packages

Runtime.TelemetryDrain

packages/execution/src/Runtime/TelemetryDrain.alpha

867 lines66 declarations34.3 KiBSHA-256 7229c44d3f7b
Download exact fileView at revision426597bda5753d86c4

def · lines 469–484

telemetryRouteDeclarationsCount

Full file
469def telemetryRouteDeclarationsCount =
470  (lambda unrestricted declarations : (family TelemetryRouteDeclarations) .
471    (eliminate
472      TelemetryRouteDeclarations
473      (lambda unrestricted current : (family TelemetryRouteDeclarations) . Nat)
474      declarations
475      (branch TelemetryRouteDeclarationsEnd . 0)
476      (branch
477        TelemetryRouteDeclarationsNext
478        tag
479        context
480        declaration
481        tail
482        induction
483        .
484        (succ 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.