sort_free_function_type

using libsemigroups::congruence::ToddCoxeter::sort_free_function_type = bool(word_type const&, word_type const&)

A type alias for free functions that can be used as an argument to sort_generating_pairs.