8477def workReduceAppliedEliminator =
8478 (lambda unrestricted primitive : (family CorePrimitive) .
8479 (lambda unrestricted first : (family CoreTerm) .
8480 (lambda unrestricted second : (family CoreTerm) .
8481 (lambda unrestricted third : (family CoreTerm) .
8482 (lambda unrestricted fourth : (family CoreTerm) .
8483 (lambda unrestricted budget : (family NormalizationBudget) .
8484 (eliminate
8485 CorePrimitive
8486 (lambda unrestricted current : (family CorePrimitive) . (family CoreWorkResult))
8487 primitive
8488 (branch
8489 CoreByteEqual
8490 .
8491 (constructor
8492 CoreWorkResult
8493 CoreWorkCompleted
8494 (reduceAppliedCoreEliminator primitive first second third fourth)
8495 budget))
8496 (branch
8497 CoreByteLess
8498 .
8499 (constructor
8500 CoreWorkResult
8501 CoreWorkCompleted
8502 (reduceAppliedCoreEliminator primitive first second third fourth)
8503 budget))
8504 (branch
8505 CoreNaturalLess
8506 .
8507 (constructor
8508 CoreWorkResult
8509 CoreWorkCompleted
8510 (reduceAppliedCoreEliminator primitive first second third fourth)
8511 budget))
8512 (branch
8513 CoreNaturalToByte
8514 .
8515 (constructor
8516 CoreWorkResult
8517 CoreWorkCompleted
8518 (reduceAppliedCoreEliminator primitive first second third fourth)
8519 budget))
8520 (branch
8521 CoreByteToNatural
8522 .
8523 (constructor
8524 CoreWorkResult
8525 CoreWorkCompleted
8526 (reduceAppliedCoreEliminator primitive first second third fourth)
8527 budget))
8528 (branch
8529 CoreBytesAppend
8530 .
8531 (constructor
8532 CoreWorkResult
8533 CoreWorkCompleted
8534 (reduceAppliedCoreEliminator primitive first second third fourth)
8535 budget))
8536 (branch
8537 CoreBytesCons
8538 .
8539 (constructor
8540 CoreWorkResult
8541 CoreWorkCompleted
8542 (reduceAppliedCoreEliminator primitive first second third fourth)
8543 budget))
8544 (branch
8545 CoreBytesLength
8546 .
8547 (constructor
8548 CoreWorkResult
8549 CoreWorkCompleted
8550 (reduceAppliedCoreEliminator primitive first second third fourth)
8551 budget))
8552 (branch
8553 CoreNaturalEliminate
8554 .
8555 (workReduceNaturalEliminator first second third fourth budget))
8556 (branch
8557 CoreBytesEliminate
8558 .
8559 (workReduceBytesEliminator first second third fourth budget))
8560 (branch
8561 CoreBytesEqual
8562 .
8563 (constructor
8564 CoreWorkResult
8565 CoreWorkCompleted
8566 (reduceAppliedCoreEliminator primitive first second third fourth)
8567 budget))
8568 (branch
8569 CoreFileEffect
8570 .
8571 (constructor
8572 CoreWorkResult
8573 CoreWorkCompleted
8574 (reduceAppliedCoreEliminator primitive first second third fourth)
8575 budget))
8576 (branch
8577 CoreEffects
8578 .
8579 (constructor
8580 CoreWorkResult
8581 CoreWorkCompleted
8582 (reduceAppliedCoreEliminator primitive first second third fourth)
8583 budget))
8584 (branch
8585 CoreComputation
8586 .
8587 (constructor
8588 CoreWorkResult
8589 CoreWorkCompleted
8590 (reduceAppliedCoreEliminator primitive first second third fourth)
8591 budget))
8592 (branch
8593 CoreReturn
8594 .
8595 (constructor
8596 CoreWorkResult
8597 CoreWorkCompleted
8598 (reduceAppliedCoreEliminator primitive first second third fourth)
8599 budget))
8600 (branch
8601 CoreBind
8602 .
8603 (constructor
8604 CoreWorkResult
8605 CoreWorkCompleted
8606 (reduceAppliedCoreEliminator primitive first second third fourth)
8607 budget))
8608 (branch
8609 CoreReadFile
8610 .
8611 (constructor
8612 CoreWorkResult
8613 CoreWorkCompleted
8614 (reduceAppliedCoreEliminator primitive first second third fourth)
8615 budget))
8616 (branch
8617 CoreWriteFile
8618 .
8619 (constructor
8620 CoreWorkResult
8621 CoreWorkCompleted
8622 (reduceAppliedCoreEliminator primitive first second third fourth)
8623 budget))
8624 (branch
8625 CoreLinuxOpenNode
8626 .
8627 (constructor
8628 CoreWorkResult
8629 CoreWorkCompleted
8630 (reduceAppliedCoreEliminator primitive first second third fourth)
8631 budget))
8632 (branch
8633 CoreLinuxCloseNode
8634 .
8635 (constructor
8636 CoreWorkResult
8637 CoreWorkCompleted
8638 (reduceAppliedCoreEliminator primitive first second third fourth)
8639 budget))
8640 (branch
8641 CoreLinuxIoctl
8642 .
8643 (constructor
8644 CoreWorkResult
8645 CoreWorkCompleted
8646 (reduceAppliedCoreEliminator primitive first second third fourth)
8647 budget))
8648 (branch
8649 CoreLinuxMmap
8650 .
8651 (constructor
8652 CoreWorkResult
8653 CoreWorkCompleted
8654 (reduceAppliedCoreEliminator primitive first second third fourth)
8655 budget))
8656 (branch
8657 CoreLinuxMunmap
8658 .
8659 (constructor
8660 CoreWorkResult
8661 CoreWorkCompleted
8662 (reduceAppliedCoreEliminator primitive first second third fourth)
8663 budget))
8664 (branch
8665 CoreBytesSetIndex
8666 .
8667 (constructor
8668 CoreWorkResult
8669 CoreWorkCompleted
8670 (reduceAppliedCoreEliminator primitive first second third fourth)
8671 budget))
8672 (branch
8673 CoreBytesIndexNonzero
8674 .
8675 (constructor
8676 CoreWorkResult
8677 CoreWorkCompleted
8678 (reduceAppliedCoreEliminator primitive first second third fourth)
8679 budget))
8680 (branch
8681 CoreBytesSetFreeIndex
8682 .
8683 (constructor
8684 CoreWorkResult
8685 CoreWorkCompleted
8686 (reduceAppliedCoreEliminator primitive first second third fourth)
8687 budget))
8688 (branch
8689 CoreBytesBuilderType
8690 .
8691 (constructor
8692 CoreWorkResult
8693 CoreWorkCompleted
8694 (reduceAppliedCoreEliminator primitive first second third fourth)
8695 budget))
8696 (branch
8697 CoreBytesBuilderEmpty
8698 .
8699 (constructor
8700 CoreWorkResult
8701 CoreWorkCompleted
8702 (reduceAppliedCoreEliminator primitive first second third fourth)
8703 budget))
8704 (branch
8705 CoreBytesBuilderChunk
8706 .
8707 (constructor
8708 CoreWorkResult
8709 CoreWorkCompleted
8710 (reduceAppliedCoreEliminator primitive first second third fourth)
8711 budget))
8712 (branch
8713 CoreBytesBuilderAppend
8714 .
8715 (constructor
8716 CoreWorkResult
8717 CoreWorkCompleted
8718 (reduceAppliedCoreEliminator primitive first second third fourth)
8719 budget))
8720 (branch
8721 CoreBytesBuilderBuild
8722 .
8723 (constructor
8724 CoreWorkResult
8725 CoreWorkCompleted
8726 (reduceAppliedCoreEliminator primitive first second third fourth)
8727 budget))
8728 (branch
8729 CoreRuntimeImageV4Build
8730 .
8731 (constructor
8732 CoreWorkResult
8733 CoreWorkCompleted
8734 (reduceAppliedCoreEliminator primitive first second third fourth)
8735 budget))
8736 (branch
8737 CoreBytesHead
8738 .
8739 (constructor
8740 CoreWorkResult
8741 CoreWorkCompleted
8742 (reduceAppliedCoreEliminator primitive first second third fourth)
8743 budget))
8744 (branch
8745 CoreBytesTail
8746 .
8747 (constructor
8748 CoreWorkResult
8749 CoreWorkCompleted
8750 (reduceAppliedCoreEliminator primitive first second third fourth)
8751 budget))
8752 (branch
8753 CoreBytesChecksum
8754 .
8755 (constructor
8756 CoreWorkResult
8757 CoreWorkCompleted
8758 (reduceAppliedCoreEliminator primitive first second third fourth)
8759 budget)))))))))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.