rule_type

using libsemigroups::fpsemigroup::KnuthBendix::rule_type = std::pair<string_type, string_type>