3.7.53. Constraint between two collections of variables

A constraint involving only two collections of domain variables in its arguments.