175def nativeObservedJournalCommands =
176 (lambda unrestricted applicationBytes : Nat .
177 (lambda unrestricted plan : (family TelemetryRoutedPolicyPlan) .
178 (lambda unrestricted pathAt : Nat .
179 (lambda unrestricted fileSlot : Nat .
180 (lambda unrestricted directorySlot : Nat .
181 (lambda unrestricted workSlot : Nat .
182 (lambda unrestricted identity : Bytes .
183 (lambda unrestricted tail : (family NativePhysicalCommands) .
184 (eliminate
185 TelemetryRoutedPolicyPlan
186 (lambda unrestricted current : (family TelemetryRoutedPolicyPlan) .
187 (family NativePhysicalCommands))
188 plan
189 (branch
190 TelemetryRoutedPolicyReady
191 policy
192 sites
193 drain
194 .
195 (eliminate
196 TelemetryDispatchPlan
197 (lambda unrestricted current : (family TelemetryDispatchPlan) .
198 (family NativePhysicalCommands))
199 drain
200 (branch
201 TelemetryDispatchReady
202 ordinary
203 reserved
204 ordinaryRoutes
205 reservedRoutes
206 ordinaryPlan
207 reservedPlan
208 descriptors
209 bound
210 .
211 (nativeObservedJournalForCapacities
212 applicationBytes
213 ordinary
214 reserved
215 pathAt
216 fileSlot
217 directorySlot
218 workSlot
219 identity
220 tail))
221 (branch
222 TelemetryDispatchRefused
223 reason
224 .
225 (constructor NativePhysicalCommands NativePhysicalCommandsEnd))))
226 (branch
227 TelemetryRoutedPolicyRefused
228 reason
229 .
230 (constructor NativePhysicalCommands NativePhysicalCommandsEnd)))))))))))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.