wrapped_type

template<>
using libsemigroups::CongruenceWrapper<T>::wrapped_type = T

The type of the wrapped congruence, also the template parameter T.