element_type

using libsemigroups::Konieczny::element_type = typename TTraits::element_type

The type of the elements of the semigroup represented by this.