Runtime.TelemetryPolicyRoutine

25family TelemetryPolicyBackend : Type 0
26parameter erased A : Type 0
27parameter erased R : Type 0
28constructor TelemetryPolicyBackendValue
29field unrestricted backendPolicySet : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : A . A)))
30field unrestricted backendPolicySetWord : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : A . A)))
31field unrestricted backendPolicyMove : (pi unrestricted a0 : R . (pi unrestricted a1 : R . (pi unrestricted a2 : A . A)))
32field unrestricted backendPolicyStore : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : R . (pi unrestricted a3 : A . A))))
33field unrestricted backendPolicyLoad : (pi unrestricted a0 : R . (pi unrestricted a1 : R . (pi unrestricted a2 : Nat . (pi unrestricted a3 : A . A))))
34field unrestricted backendPolicyCompareImmediate : (pi unrestricted a0 : R . (pi unrestricted a1 : Nat . (pi unrestricted a2 : A . A)))
35field unrestricted backendPolicyCompare : (pi unrestricted a0 : R . (pi unrestricted a1 : R . (pi unrestricted a2 : A . A)))
36field unrestricted backendPolicySubtract : (pi unrestricted a0 : R . (pi unrestricted a1 : R . (pi unrestricted a2 : A . A)))
37field unrestricted backendPolicyAdd : (pi unrestricted a0 : R . (pi unrestricted a1 : R . (pi unrestricted a2 : A . A)))
38field unrestricted backendPolicyDivide : (pi unrestricted a0 : R . (pi unrestricted a1 : A . A))
39field unrestricted backendPolicyMultiply : (pi unrestricted a0 : R . (pi unrestricted a1 : A . A))
40field unrestricted backendPolicyJumpIf : (pi unrestricted a0 : (family TelemetryPolicyCondition) . (pi unrestricted a1 : Bytes . (pi unrestricted a2 : A . A)))
41field unrestricted backendPolicyJump : (pi unrestricted a0 : Bytes . (pi unrestricted a1 : A . A))
42field unrestricted backendPolicyLabel : (pi unrestricted a0 : Bytes . (pi unrestricted a1 : A . A))
43field unrestricted backendPolicyReturn : (pi unrestricted a0 : A . A)
44field unrestricted backendPolicyEnd : A
45field unrestricted backendPolicyResult : R
46field unrestricted backendPolicyArgument0 : R
47field unrestricted backendPolicyArgument1 : R
48field unrestricted backendPolicyArgument2 : R
49field unrestricted backendPolicyArgument3 : R
50field unrestricted backendPolicyArgument4 : R
51field unrestricted backendPolicyArgument5 : R
52field unrestricted backendPolicyScratch0 : R
53field unrestricted backendPolicyScratch1 : R