operator <= method

bool operator <=(
  1. AlgebraicNumeral other
)

Implementation

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