rule_type

using libsemigroups::CongruenceWrapper::rule_type = std::pair<string_type, string_type>