AlphaGitHub
Source/Packages

Runtime.TelemetryRecord

packages/execution/src/Runtime/TelemetryRecord.alpha

774 lines93 declarations28.3 KiBSHA-256 d4129743e998
Download exact fileView at revision426597bda5753d86c4

def · lines 680–700

telemetryRecordDeclarationPartsAtContext

Full file
680def telemetryRecordDeclarationPartsAtContext :
681  (pi unrestricted context : Bytes .
682    (pi unrestricted declaration : (family TelemetryRecordDeclaration) .
683      (family TelemetryRecordParts))) =
684  (lambda unrestricted context : Bytes .
685    (lambda unrestricted declaration : (family TelemetryRecordDeclaration) .
686      (eliminate
687        TelemetryRecordDeclaration
688        (lambda unrestricted current : (family TelemetryRecordDeclaration) .
689          (family TelemetryRecordParts))
690        declaration
691        (branch
692          TelemetryRecordDeclarationValue
693          schema
694          recordClass
695          policy
696          origin
697          method
698          payload
699          .
700          (telemetryEventRecordAtContext context schema recordClass policy origin method payload)))))

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.