7638def workReduceNaturalEliminator =
7639 (lambda unrestricted motive : (family CoreTerm) .
7640 (lambda unrestricted zeroCase : (family CoreTerm) .
7641 (lambda unrestricted successorCase : (family CoreTerm) .
7642 (lambda unrestricted scrutinee : (family CoreTerm) .
7643 (lambda unrestricted budget : (family NormalizationBudget) .
7644 (eliminate
7645 CoreLiteralInspection
7646 (lambda unrestricted current : (family CoreLiteralInspection) .
7647 (family CoreWorkResult))
7648 (inspectCoreLiteral scrutinee)
7649 (branch
7650 CoreNaturalInspected
7651 digits
7652 .
7653 (workNaturalEliminate digits zeroCase successorCase budget))
7654 (branch
7655 CoreByteInspected
7656 value
7657 .
7658 (constructor
7659 CoreWorkResult
7660 CoreWorkCompleted
7661 (corePrimitiveApplication4
7662 (constructor CorePrimitive CoreNaturalEliminate)
7663 motive
7664 zeroCase
7665 successorCase
7666 scrutinee)
7667 budget))
7668 (branch
7669 CoreBytesInspected
7670 value
7671 .
7672 (constructor
7673 CoreWorkResult
7674 CoreWorkCompleted
7675 (corePrimitiveApplication4
7676 (constructor CorePrimitive CoreNaturalEliminate)
7677 motive
7678 zeroCase
7679 successorCase
7680 scrutinee)
7681 budget))
7682 (branch
7683 CoreNotLiteral
7684 .
7685 (constructor
7686 CoreWorkResult
7687 CoreWorkCompleted
7688 (corePrimitiveApplication4
7689 (constructor CorePrimitive CoreNaturalEliminate)
7690 motive
7691 zeroCase
7692 successorCase
7693 scrutinee)
7694 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.