trivial_monoid

Monoid * Monoid::trivial_monoid = nullptr

staticprivate

the trivial monoid

Definition at line 149 of file monoid.hpp.

Referenced by get_trivial_monoid().