element_type

template<>
using libsemigroups::Action<TElementType, TPointType, TActionType, TTraits, TLeftOrRight>::element_type = TElementType

This is the type of the elements of the semigroup whose action this class represents, and the template parameter TElementType.