dvector()

template<typename T>

void dvector

(

gc_vector< T > &

a

)

Definition at line 33 of file debug.cpp.

{
  buffer o;
  o << '[';
  for (auto x : a) o << x << ' ';
  o << ']';
  emit(o.str());
}

References emit(), buffer::str(), and x.