element_type

using libsemigroups::KoniecznyTraits::element_type = typename detail::BruidhinnTraits<TElementType>::value_type

The type of the elements of a Konieczny instance with const removed.