dRRR()

void dRRR

(

gmp_RR

a

)

Definition at line 145 of file debug.cpp.

{
  buffer o;
  o << a << newline;
  emit(o.str());
}

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