operator * method

AlgebraicNumeral operator *(
  1. AlgebraicNumeral other
)

Implementation

AlgebraicNumeral operator *(AlgebraicNumeral other) =>
    _c._getAlgebraicNumeral(_c._z3.algebraic_mul(_n, other._n));