57def telemetryPolicySiteAssemblyFor =
58 (lambda erased A : Type 0 .
59 (lambda erased R : Type 0 .
60 (lambda unrestricted backend : (family TelemetryPolicyBackend A R) .
61 (lambda unrestricted ordinaryCapacity : Nat .
62 (lambda unrestricted reservedCapacity : Nat .
63 (lambda unrestricted required : Nat .
64 (lambda unrestricted enabled : Nat .
65 (lambda unrestricted stride : Nat .
66 (lambda unrestricted bound : Nat .
67 (eliminate
68 TelemetryPolicyBackend
69 (lambda unrestricted current : (family TelemetryPolicyBackend A R) . A)
70 backend
71 (branch
72 TelemetryPolicyBackendValue
73 policySet
74 policySetWord
75 policyMove
76 policyStore
77 policyLoad
78 policyCompareImmediate
79 policyCompare
80 policySubtract
81 policyAdd
82 policyDivide
83 policyMultiply
84 policyJumpIf
85 policyJump
86 policyLabel
87 policyReturn
88 policyEnd
89 policyResult
90 policyArgument0
91 policyArgument1
92 policyArgument2
93 policyArgument3
94 policyArgument4
95 policyArgument5
96 policyScratch0
97 policyScratch1
98 .
99 (policySet
100 policyResult
101 4
102 (policyStore
103 policyArgument3
104 0
105 policyResult
106 (policyCompareImmediate
107 policyArgument4
108 (publicationArenaBytesForBody bound)
109 (policyJumpIf
110 (constructor TelemetryPolicyCondition TelemetryPolicyNotZero)
111 b"site-refused"
112 (policyLoad
113 policyResult
114 policyArgument0
115 captureOrdinaryCapacityAt
116 (policyCompareImmediate
117 policyResult
118 ordinaryCapacity
119 (policyJumpIf
120 (constructor TelemetryPolicyCondition TelemetryPolicyNotZero)
121 b"site-refused"
122 (policyLoad
123 policyResult
124 policyArgument0
125 captureReservedCapacityAt
126 (policyCompareImmediate
127 policyResult
128 reservedCapacity
129 (policyJumpIf
130 (constructor
131 TelemetryPolicyCondition
132 TelemetryPolicyNotZero)
133 b"site-refused"
134 (policyLoad
135 policyResult
136 policyArgument0
137 captureRequiredAt
138 (policyCompareImmediate
139 policyResult
140 required
141 (policyJumpIf
142 (constructor
143 TelemetryPolicyCondition
144 TelemetryPolicyNotZero)
145 b"site-refused"
146 (policyLoad
147 policyResult
148 policyArgument1
149 publicationFinishedAt
150 (policyCompareImmediate
151 policyResult
152 0
153 (policyJumpIf
154 (constructor
155 TelemetryPolicyCondition
156 TelemetryPolicyNotZero)
157 b"site-refused"
158 (aosChoose
159 A
160 enabled
161 (aosChoose
162 A
163 (naturalEqual stride 1)
164 (policySet
165 policyResult
166 1
167 (policyStore
168 policyArgument3
169 0
170 policyResult
171 (policySet
172 policyResult
173 1
174 (policyReturn
175 (policyLabel
176 b"site-excluded"
177 (policySet
178 policyResult
179 0
180 (policyStore
181 policyArgument3
182 0
183 policyResult
184 (policySet
185 policyResult
186 1
187 (policyReturn
188 (policyLabel
189 b"site-refused"
190 (policySet policyResult 0 (policyReturn policyEnd))))))))))))
191 (policyMove
192 policyResult
193 policyArgument2
194 (policySet
195 policyArgument2
196 0
197 (policySetWord
198 policyArgument4
199 stride
200 (policyDivide
201 policyArgument4
202 (policyCompareImmediate
203 policyArgument2
204 0
205 (policyJumpIf
206 (constructor
207 TelemetryPolicyCondition
208 TelemetryPolicyNotZero)
209 b"site-excluded"
210 (policySet
211 policyResult
212 1
213 (policyStore
214 policyArgument3
215 0
216 policyResult
217 (policySet
218 policyResult
219 1
220 (policyReturn
221 (policyLabel
222 b"site-excluded"
223 (policySet
224 policyResult
225 0
226 (policyStore
227 policyArgument3
228 0
229 policyResult
230 (policySet
231 policyResult
232 1
233 (policyReturn
234 (policyLabel
235 b"site-refused"
236 (policySet policyResult 0 (policyReturn policyEnd)))))))))))))))))))
237 (policyJump
238 b"site-excluded"
239 (policySet
240 policyResult
241 1
242 (policyStore
243 policyArgument3
244 0
245 policyResult
246 (policySet
247 policyResult
248 1
249 (policyReturn
250 (policyLabel
251 b"site-excluded"
252 (policySet
253 policyResult
254 0
255 (policyStore
256 policyArgument3
257 0
258 policyResult
259 (policySet
260 policyResult
261 1
262 (policyReturn
263 (policyLabel
264 b"site-refused"
265 (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.