603def telemetryPolicyContinuationAssemblyFor =
604 (lambda erased A : Type 0 .
605 (lambda erased R : Type 0 .
606 (lambda unrestricted backend : (family TelemetryPolicyBackend A R) .
607 (lambda unrestricted required : Nat .
608 (eliminate
609 TelemetryPolicyBackend
610 (lambda unrestricted current : (family TelemetryPolicyBackend A R) . A)
611 backend
612 (branch
613 TelemetryPolicyBackendValue
614 policySet
615 policySetWord
616 policyMove
617 policyStore
618 policyLoad
619 policyCompareImmediate
620 policyCompare
621 policySubtract
622 policyAdd
623 policyDivide
624 policyMultiply
625 policyJumpIf
626 policyJump
627 policyLabel
628 policyReturn
629 policyEnd
630 policyResult
631 policyArgument0
632 policyArgument1
633 policyArgument2
634 policyArgument3
635 policyArgument4
636 policyArgument5
637 policyScratch0
638 policyScratch1
639 .
640 (policyCompareImmediate
641 policyArgument0
642 1
643 (policyJumpIf
644 (constructor TelemetryPolicyCondition TelemetryPolicyBelow)
645 b"capture-continuation-allowed"
646 (policyJumpIf
647 (constructor TelemetryPolicyCondition TelemetryPolicyZero)
648 b"capture-continuation-allowed"
649 (aosChoose
650 A
651 (naturalEqual required 0)
652 (policyCompareImmediate
653 policyArgument0
654 2
655 (policyJumpIf
656 (constructor TelemetryPolicyCondition TelemetryPolicyZero)
657 b"capture-continuation-allowed"
658 (policySet
659 policyResult
660 0
661 (policyReturn
662 (policyLabel
663 b"capture-continuation-allowed"
664 (policySet policyResult 1 (policyReturn policyEnd)))))))
665 (policySet
666 policyResult
667 0
668 (policyReturn
669 (policyLabel
670 b"capture-continuation-allowed"
671 (policySet policyResult 1 (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.