const_iterator

using libsemigroups::CongruenceWrapper::const_iterator = std::vector<rule_type>::const_iterator

Type for const iterators to the defining rules of the finitely presented semigroup represented by this.