rule_typeΒΆ

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