4.15.2 Card functor

4.15.2.1 Select function

The select function uses the selection constraint for Oz finite set variables to select one set of integers from the list of sets of integers.

4.15.2.2 Make variable function

The make variable function creates an undetermined Oz finite set variable.

4.15.2.3 Count function

The count function returns:

     o(fd: 0
       fs: 1)

4.15.2.4 Additional interface features

None.