Method mkVar

smt/expr.cpp:306–309

}

expr expr::mkVar(const char *name, const expr &type) {
  C2(type);
  return ::mkVar(name, type.sort());
}

expr expr::mkVar(const char *name, unsigned bits, bool fresh) {
  auto sort = mkBVSort(bits);