705def telemetryRecordPlanAtContext =
706 (lambda unrestricted context : Bytes .
707 (lambda unrestricted declaration : (family TelemetryRecordDeclaration) .
708 (let unrestricted parts =
709 (telemetryRecordDeclarationPartsAtContext context declaration)
710 in
711 (aosChoose
712 (family TelemetryRecordPlan)
713 (telemetryRecordAdmission parts)
714 (constructor
715 TelemetryRecordPlan
716 TelemetryRecordReady
717 parts
718 (telemetryRecordPartBytes parts))
719 (constructor
720 TelemetryRecordPlan
721 TelemetryRecordRefused
722 b"native-record-declaration-refused")))))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.