Degree libsemigroups::Degree< TPTransf16Subclass, std::enable_if_t< std::is_base_of< HPCombi::PTransf16, TPTransf16Subclass >::value > >