Method numeral_string

smt/expr.cpp:2450–2453

}

string_view expr::numeral_string() const {
  C();
  return Z3_get_numeral_decimal_string(ctx(), ast(), 12);
}

string_view expr::fn_name() const {
  if (isApp())