wrapped_type

using libsemigroups::CongruenceWrapper::wrapped_type = T

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