dringelem()

void dringelem	(	const Ring *	R,
		const ring_elem	f )

Definition at line 73 of file debug.cpp.

{
  buffer o;
  R->elem_text_out(o, f);
  emit(o.str());
}