operator + method

AlgebraicNumeral operator +(
  1. AlgebraicNumeral other
)

Implementation

AlgebraicNumeral operator +(AlgebraicNumeral other) =>
    _c._getAlgebraicNumeral(_c._z3.algebraic_add(_n, other._n));