Constrains all but one of Vars to be zero. In MIP terminology this is called a Special Ordered Set (SOS) of type 1.
If the variables are also required to be integral, this must be separately declared using integers/1. Similarly for bounds.