operator < method

bool operator <(
  1. AlgebraicNumeral other
)

Implementation

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