rule_typeΒΆ

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

Type for rules in a finitely presented semigroup.