Callers normalize the operands; an open operand remains neutral.
2879def inspectCoreArithmetic =
2880 (lambda unrestricted operation : (family CoreNaturalOperation) .
2881 (lambda unrestricted left : (family CoreTerm) .
2882 (lambda unrestricted right : (family CoreTerm) .
2883 (eliminate
2884 CoreLiteralInspection
2885 (lambda unrestricted current : (family CoreLiteralInspection) .
2886 (family CoreArithmeticInspection))
2887 (inspectCoreLiteral left)
2888 (branch CoreNaturalInspected digits . (inspectCoreArithmeticRight operation digits right))
2889 (branch
2890 CoreByteInspected
2891 value
2892 .
2893 (constructor CoreArithmeticInspection CoreArithmeticNeutral))
2894 (branch
2895 CoreBytesInspected
2896 value
2897 .
2898 (constructor CoreArithmeticInspection CoreArithmeticNeutral))
2899 (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.