#include <infinite_vector.h>
List of all members.
helper struct to handle decreasing order in modulus for pairs, with respect to the first argument