operator > method

bool operator >(
  1. AlgebraicNumeral other
)

Implementation

bool operator >(AlgebraicNumeral other) => _c._z3.algebraic_gt(_n, other._n);