The CARD function returns the number of members of its set operand. For example, the following code produces the output 3 since the set has 3 members:

proc optmodel;
   put (card(1..3));