element_type

template<>
using libsemigroups::CongruenceByPairsHelper<TFroidurePinType>::element_type = typename froidure_pin_type::element_type

The type of elements over which an instance of CongruenceByPairsHelper is defined.