ToddCoxeter(congruence_type)

explicit libsemigroups::congruence::ToddCoxeter::ToddCoxeter(congruence_type)

A constructor that creates a new ToddCoxeter instance representing a left, right, or two-sided congruence specified by the given libsemigroups::congruence_type.