const_iterator_idempotents

using libsemigroups::FroidurePin::const_iterator_idempotents = const_iterator_pair_first

A type for const iterators through the idempotents of this, in short-lex order.

See

const_iterator.