operator<<()

std::ostream & operator<<	(	std::ostream &	o,
		FreeMonoidLogger	a )

Definition at line 15 of file FreeMonoid.cpp.

{
  o << "# compares: " << a.mCompares;
  return o;
}

References FreeMonoidLogger::mCompares.