553def telemetryPolicyPendingAssemblyFor =
554 (lambda erased A : Type 0 .
555 (lambda erased R : Type 0 .
556 (lambda unrestricted backend : (family TelemetryPolicyBackend A R) .
557 (eliminate
558 TelemetryPolicyBackend
559 (lambda unrestricted current : (family TelemetryPolicyBackend A R) . A)
560 backend
561 (branch
562 TelemetryPolicyBackendValue
563 policySet
564 policySetWord
565 policyMove
566 policyStore
567 policyLoad
568 policyCompareImmediate
569 policyCompare
570 policySubtract
571 policyAdd
572 policyDivide
573 policyMultiply
574 policyJumpIf
575 policyJump
576 policyLabel
577 policyReturn
578 policyEnd
579 policyResult
580 policyArgument0
581 policyArgument1
582 policyArgument2
583 policyArgument3
584 policyArgument4
585 policyArgument5
586 policyScratch0
587 policyScratch1
588 .
589 (policyCompareImmediate
590 policyArgument0
591 3
592 (policyJumpIf
593 (constructor TelemetryPolicyCondition TelemetryPolicyNotZero)
594 b"capture-not-pending"
595 (policySet
596 policyResult
597 1
598 (policyReturn
599 (policyLabel
600 b"capture-not-pending"
601 (policySet policyResult 0 (policyReturn policyEnd))))))))))))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.