466def drainPreparedCommands =
467 (lambda unrestricted applicationBytes : Nat .
468 (lambda unrestricted ordinaryCapacity : Nat .
469 (lambda unrestricted reservedCapacity : Nat .
470 (lambda unrestricted ordinary : (family TelemetryRecordPlan) .
471 (lambda unrestricted reserved : (family TelemetryRecordPlan) .
472 (lambda unrestricted descriptors : Bytes .
473 (lambda unrestricted bound : Nat .
474 (lambda unrestricted terminal : Nat .
475 (lambda unrestricted sink : (family NativePhysicalOperand) .
476 (lambda unrestricted directory : (family NativePhysicalOperand) .
477 (lambda unrestricted resultSlot : Nat .
478 (lambda unrestricted identity : Bytes .
479 (lambda unrestricted tail : (family NativePhysicalCommands) .
480 (drainPreparedWith
481 applicationBytes
482 ordinaryCapacity
483 reservedCapacity
484 (drainQueueCommands
485 applicationBytes
486 ordinaryCapacity
487 reservedCapacity
488 ordinary
489 reserved
490 bound
491 ordinary
492 (captureQueueAt applicationBytes)
493 captureOrdinaryUsedAt
494 resultSlot
495 identity)
496 (drainQueueCommands
497 applicationBytes
498 ordinaryCapacity
499 reservedCapacity
500 ordinary
501 reserved
502 bound
503 reserved
504 (naturalAdd
505 (captureQueueAt applicationBytes)
506 (naturalMultiply ordinaryCapacity captureRecordBytes))
507 captureReservedUsedAt
508 resultSlot
509 identity)
510 descriptors
511 bound
512 terminal
513 sink
514 directory
515 resultSlot
516 identity
517 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.