2838def inspectCoreArithmeticRight =
2839 (lambda unrestricted operation : (family CoreNaturalOperation) .
2840 (lambda unrestricted left : Bytes .
2841 (lambda unrestricted right : (family CoreTerm) .
2842 (eliminate
2843 CoreLiteralInspection
2844 (lambda unrestricted current : (family CoreLiteralInspection) .
2845 (family CoreArithmeticInspection))
2846 (inspectCoreLiteral right)
2847 (branch
2848 CoreNaturalInspected
2849 digits
2850 .
2851 (eliminate
2852 NaturalMagnitudeResult
2853 (lambda unrestricted result : (family NaturalMagnitudeResult) .
2854 (family CoreArithmeticInspection))
2855 (evaluateCoreNaturalOperation operation left digits)
2856 (branch
2857 NaturalMagnitudeAccepted
2858 value
2859 .
2860 (constructor CoreArithmeticInspection CoreArithmeticValue value))
2861 (branch
2862 NaturalMagnitudeRejected
2863 failure
2864 .
2865 (constructor CoreArithmeticInspection CoreArithmeticRejected failure))))
2866 (branch
2867 CoreByteInspected
2868 value
2869 .
2870 (constructor CoreArithmeticInspection CoreArithmeticNeutral))
2871 (branch
2872 CoreBytesInspected
2873 value
2874 .
2875 (constructor CoreArithmeticInspection CoreArithmeticNeutral))
2876 (branch CoreNotLiteral . (constructor CoreArithmeticInspection CoreArithmeticNeutral))))))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.