element_type

using libsemigroups::Action::element_type = TElementType

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