Method sort

smt/expr.cpp:162–164

}

Z3_sort expr::sort() const {
  return Z3_get_sort(ctx(), ast());
}

Z3_decl expr::decl() const {
  auto app = isApp();