equals method

bool equals(
  1. Numeral other
)

Implementation

bool equals(Numeral other) => _c._z3.algebraic_eq(_n, other._n);