The ArithmeticEqualType defines a test if the two ArithmeticExpression elements are equal. The ArithmeticEqualType evaluates to true if the first ArithmeticExpression element is (1) less than the second ArithmeticExpression element plus ComparisonTiny and (2) greater then the second ArithmeticExpression element minus ComparisonTiny. Otherwise, it evaluates to false. |