IsTransf¶

template<typename T> static constexpr bool libsemigroups::IsTransf = detail::IsTransfHelper<T>::value¶

Helper variable template.

The value of this variable is true if the template parameter T is Transf for any template parameters.