247def drainOccupiedQueueWith =
248 (lambda unrestricted applicationBytes : Nat .
249 (lambda unrestricted ordinaryCapacity : Nat .
250 (lambda unrestricted reservedCapacity : Nat .
251 (lambda unrestricted render : (pi unrestricted commands : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
252 (lambda unrestricted sourceAt : Nat .
253 (lambda unrestricted occupiedAt : Nat .
254 (lambda unrestricted resultSlot : Nat .
255 (lambda unrestricted identity : Bytes .
256 (lambda unrestricted tail : (family NativePhysicalCommands) .
257 (drainStore
258 (naturalAdd
259 (publicationBase applicationBytes ordinaryCapacity reservedCapacity)
260 publicationSavedR13At)
261 (drainState sourceAt)
262 identity
263 (nativeLaunchRecipeCommand
264 (constructor
265 NativePhysicalOperation
266 NativePhysicalRepeatBeginCounted
267 (publicationStateLoad
268 applicationBytes
269 ordinaryCapacity
270 reservedCapacity
271 (naturalAdd
272 publicationBodyAt
273 (naturalAdd nativeTelemetryCountersAt occupiedAt))))
274 identity
275 (nativeLaunchRecipeCommand
276 (constructor
277 NativePhysicalOperation
278 NativePhysicalMachineRoutine
279 drainReadyRoutine
280 (constructor
281 NativePhysicalArguments
282 NativePhysicalArgumentsValue
283 (publicationStateAddress
284 applicationBytes
285 ordinaryCapacity
286 reservedCapacity
287 0)
288 (nativeLaunchRecipeImmediate 0)
289 (nativeLaunchRecipeImmediate 0)
290 (nativeLaunchRecipeImmediate 0)
291 (nativeLaunchRecipeImmediate 0)
292 (nativeLaunchRecipeImmediate 0))
293 (nativeLaunchRecipeStore resultSlot))
294 identity
295 (nativeLaunchRecipeCommand
296 (constructor
297 NativePhysicalOperation
298 NativePhysicalRepeatBeginCounted
299 (nativeLaunchRecipeSlotValue resultSlot))
300 identity
301 (render
302 (nativeLaunchRecipeCommand
303 (constructor NativePhysicalOperation NativePhysicalRepeatEnd)
304 identity
305 (nativeLaunchRecipeCommand
306 (constructor NativePhysicalOperation NativePhysicalRepeatEnd)
307 identity
308 tail))))))))))))))))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.