element_type

using libsemigroups::CongruenceByPairsHelper::element_type = typename froidure_pin_type::element_type

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