rawMonoidToString()

M2_string rawMonoidToString

(

const Monoid *

M

)

Definition at line 39 of file monoid.cpp.

{
  buffer o;
  M->text_out(o);
  return o.to_string();
}

References Monoid::text_out(), and buffer::to_string().