Method isSameTypeOf

smt/expr.cpp:468–471

}

bool expr::isSameTypeOf(const expr &other) const {
  C(other);
  return sort() == other.sort();
}

bool expr::isEq(expr &lhs, expr &rhs) const {
  return isBinOp(lhs, rhs, Z3_OP_EQ);