Function attr_str

ir/value.cpp:185–189

static string attr_str(const ParamAttrs &attr) {
  stringstream ss;
  ss << attr;
  return std::move(ss).str();
}

Input::Input(Type &type, string &&name)
  : Value(type, std::string(name)), smt_name(std::move(name)) {}