mMonoid

template<class T>

const FreeMonoid* MonomSort< T >::mMonoid

Definition at line 333 of file FreeMonoid.hpp.

Referenced by MonomSort(), and operator()().