500def telemetryPolicyAffineAssemblyFor =
501 (lambda erased A : Type 0 .
502 (lambda erased R : Type 0 .
503 (lambda unrestricted backend : (family TelemetryPolicyBackend A R) .
504 (eliminate
505 TelemetryPolicyBackend
506 (lambda unrestricted current : (family TelemetryPolicyBackend A R) . A)
507 backend
508 (branch
509 TelemetryPolicyBackendValue
510 policySet
511 policySetWord
512 policyMove
513 policyStore
514 policyLoad
515 policyCompareImmediate
516 policyCompare
517 policySubtract
518 policyAdd
519 policyDivide
520 policyMultiply
521 policyJumpIf
522 policyJump
523 policyLabel
524 policyReturn
525 policyEnd
526 policyResult
527 policyArgument0
528 policyArgument1
529 policyArgument2
530 policyArgument3
531 policyArgument4
532 policyArgument5
533 policyScratch0
534 policyScratch1
535 .
536 (policyMove
537 policyResult
538 policyArgument0
539 (policyMove
540 policyArgument4
541 policyArgument2
542 (policyMultiply
543 policyArgument4
544 (policyAdd
545 policyResult
546 policyArgument1
547 (policyStore
548 policyArgument3
549 0
550 policyResult
551 (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.